מבנים אלגבריים עוזי וישנה

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "מבנים אלגבריים עוזי וישנה"

Transcript

1 מבנים אלגבריים עוזי וישנה

2 מבנים אלגבריים מהדורה 2.58 למתרגל הקדמה. חוברת זו ערוכה ומסודרת לפי תוכנית הלימודים בקורס 'מבנים אלגבריים' למדעי המחשב, , באוניברסיטת בר אילן. הקורס (בהיקף של שעתיים הרצאה ושעה תרגיל, לאורך סמסטר אחד) מכסה שלושה נושאים: חבורות (עד המיון של חבורות אבליות סופיות, אך ללא משפטי סילו או סדרות הרכב), חוגים (בעיקר קומוטטיביים, ומאלה החומר הנחוץ לפירוק פולינומים ובניה של שדות) ושדות (סופיים). מצאתי לנכון להקדים מבוא לתורת המספרים, שבמהלכו פוגשים בדרך רמז גם את עקרונות היסוד של תחומי השלמות. החוברת מבוססת על חוברות תרגילים שכתבתי לקורסים בתורת החבורות (88-211) ובתורת החוגים (88-212). החומר מחולק לסעיפים ותת סעיפים, המסודרים כך שמושגים חיוניים יופיעו מוקדם ככל האפשר, תוך שילוב של כמה דוגמאות נחוצות. בכל נושא מובאות ההגדרות והתוצאות העיקריות, כשהן פרושות למספר רב של תרגילים נוחים לעיכול. כל טענות העזר והשיטות הסטנדרטיות נוסחו כתרגילים. המהדורה הארוכה, המונחת לפניכם, כוללת הדרכה מפורטת ולפעמים פתרון מלא לתרגילים רבים, בעיקר אלו שיש להם אופי תאורטי יותר. סדר התרגילים בתוך כל סעיף נבחר בזהירות, כשכל תרגיל מופיע מיד כאשר הונחה התשתית לרעיונות הדרושים כדי לפתור אותו (אך בכפוף לאילוץ המקובל, והמתסכל במידת מה, הקובע שסדר המשפטים בעמוד מוכרח להיות קווי). תרגילים השייכים לאותה מדרגה לוגית מופיעים בסדר יורד של מידת הכלליות והעניין. החידוש, במידה שיש כאן כזה, הוא בהצמדת דרגת קושי לכל תרגיל: תרגילים קלים, מדרגה (*), דורשים בדרך כלל שליטה בהגדרות ותו לא; את רובם של אלה אפשר - ורצוי - לפתור בעל פה, תוך ציון ההגדרה או העובדה הרלוונטית. תרגילים טכניים מורכבים, לא רגילים או סתם קשים סומנו ב (***). שאר התרגילים קיבלו את הציון (**). סימנים נוספים, כמו ב (**+) או (** ), מציינים שהתרגיל עשוי להיות קשה או קל יותר מכפי שנראה במבט ראשון. מספר התרגילים מספיק כדי לפתור חלק מן התרגילים בכיתה, חלק כתרגילי בית, ואת השאר לקראת המבחן, אבל בדרך כלל נמנעתי מלתת וריאציות קלות על תרגילים קיימים. במספר מקומות הרחבתי מעבר לרמה הנדרשת בקורס. כל התרגילים מנוסחים בלשון זכר, ועם הלומדות הסליחה. אודה לכל מי שיביא לתשומת ליבי שגיאות, השמטות, כפילויות או שגיאות כתיב, כדי שאוכל לתקנם במהדורה הבאה. עוזי וישנה,

3 תוכן עניינים 5 מבוא לתורת המספרים המספרים השלמים יחס החלוקה אוקלידיות המחלק המשותף המקסימלי ראשוניים ופירוק לגורמים שקילות מודולו n חבורות למחצה ומונוידים חבורות למחצה מונוידים חבורות ותת חבורות חבורות סדר של חבורה דוגמאות לחבורות אבליות מכפלה ישרה חיצונית תת חבורות משפט לגרנז' יוצרים של חבורה ותת החבורה הנוצרת קוסטים ומשפט לגרנז' סדר של איבר יישומים בתורת המספרים שימושים להצפנה חבורות ציקליות כפל תת חבורות הומומורפיזמים ותת חבורות נורמליות הומומורפיזמים גרעין ותמונה תת חבורה נורמלית חבורת מנה 5.4 3

4 תוכן עניינים תוכן עניינים 5.5 משפט האיזומורפיזם הראשון סריג תת החבורות חיתוך ומכפלה של תת חבורות מכפלה ישרה פנימית משפטי האיזומורפיזם סריג תת החבורות אינדקס של תת חבורות משפט ההתאמה הצמדה ומחלקות הצמידות המר כּ ז מרכ זים מחלקות צמידות שוויון המחלקות אוטומורפיזמים חבורת האוטומורפיזמים המנרמל חבורות של תמורות משפט קיילי הסימן של תמורה תמורות מקריות חבורות אבליות 75 תת חבורת הקומוטטורים משפט קושי האקספוננט הפירוק הפרימרי חבורות p אבליות משפט המיון לחבורות אבליות סופיות חבורות אבליות אינסופיות מבוא לחוגים 87 חוגים, תת חוגים ואידיאלים הומומורפיזמים וחוגי מנה אידיאלים בחוג קומוטטיבי תחומי שלמות מבוא לשדות סופיים שורשים של פולינומים שדות שדות סופיים

5 פרק 1 מבוא לתורת המספרים לפרק הראשון מטרה משולשת: נפגוש את הדוגמא הראשונה למערכת אקסיומות פשוטה (התכונות הבסיסיות של פעולות החשבון ויחס בין המספרים הטבעיים) שאפשר להוציא ממנה מסקנות מרחיקות לכת (הפירוק היחיד לגורמים); נתאמן בשיטות האלמנטריות של תורת החוגים, שעוד נכליל בהמשך; וחשוב מכל, נקבל כמה תוצאות חיוניות לבניית הדוגמאות שנראה בהמשך הקורס. מושגים: יחס החלוקה, מחלק משותף מקסימלי; חילוק עם שארית ואלגוריתם אוקלידס; איברים זרים; מספרי אי פריק ומספר ראשוני. פירוק יחיד לגורמים. שקילות מודולו n. משפט השאריות הסיני. 1.0 המספרים השלמים בפרק זה, מערכת המספרים השלמים היא המערכת הכוללת מלבד הקבוצה Z של המספרים השלמים, גם את פעולות החיבור (+) והכפל ( ) ואת יחס הסדר (> ו ), עם התכונות המוכרות מבית הספר היסודי:,a + (b + c) = (a + b) + c אם a < b ו c < 0 אז,ac < bc וכדומה (בקורס הזה נדלג על הפיתוח המסודר של השלמים מתוך מערכת פאנו של המספרים הטבעיים, ובמקום זה נניח את תוצאת הפיתוח כאקסיומות). את הערך המוחלט מגדירים לפי יחס הסדר: a = a אם 0 a, ו a a = אם.a < 0 קבוצת המספרים הטבעיים 0} a N = {a Z : מקיימת את תכונת הסדר הטוב, שלפיה לכל קבוצה לא ריקה יש איבר מינימלי. תרגיל (**) הסק מתכונת הסדר הטוב את אקסיומת האינדוקציה: אם A N היא קבוצה המקיימת את שתי ההנחות,0 A לכל,n N אם n A אז,n + 1 A 5 אז.A = N

6 1.1. יחס החלוקה פרק 1. מבוא לתורת המספרים 1.1 יחס החלוקה מגדירים יחס בינארי על המספרים השלמים: הגדרה a") a b מחלק את (''b אם קיים c Z כך ש.b = ac תרגיל (*) הוכח שהיחס טרנזיטיבי ורפלקסיבי. יחס כזה נקרא קדם סדר. תרגיל (*) יחס החלוקה אינו אנטי סימטרי (ולכן הוא איננו יחס סדר חלקי חלש). תרגיל (*) אם a b ו 0 b אז b. a תרגיל (**) מצא את האיברים המינימליים והמקסימליים ביחס לקדם סדר שהגדרנו. הגדרה האיברים a, b Z הם חברים אם b a ו b.a במקרה כזה מסמנים.a b תרגיל (+*) הראה ש b,a חברים אם ורק אם b. = a± תרגיל (+*) הוכח שיחס החברות הוא יחס שקילות. תרגיל (*) כתוב במפורש את מחלקת החברות של המספר a. המחלקות אותו גודל? יחס החברות מאפשר לעדן ולשפר את יחס החלוקה. הגדרה מחלקת החברות [a] מחלקת את [b] אם a. b האם לכל תרגיל (**) הוכח שיחס החלוקה בין מחלקות מוגדר היטב. כלומר, אם a a ו b,b אז a b אם ורק אם b.a משפט היחס 'מחלק' הוא יחס סדר חלש (כלומר, אנטיסימטרי, רפלקסיבי וטרנזיטיבי) על אוסף מחלקות החברות ב Z. העובדה שיחס החלוקה אינו יחס סדר על Z 'מאכזבת' ומפריעה. הפתרון הטבעי הוא לצמצמם את ההסתכלות אל קבוצת המספרים הטבעיים, N, שהיא תת קבוצה מיוחדת של המספרים השלמים, הסגורה לחיבור וכפל, ומכילה נציג אחד מכל מחלקת חברות. בניגוד לפתרון הזה, שאינו זמין בחוגים אחרים, המעבר למחלקות חברות אפשרי תמיד. 1.2 אוקלידיות משפט ('האוקלידיות של ('Z לכל n Z ו 0 d קיימים q, r כך ש n = qd + r ו d r <.0 אוקלידיות היא שם אחר לעובדה שאפשר לחלק עם שארית. לו היינו מאמצים כאן את ההגדרה הכללית לאוקלידיות של תחום שלמות, היינו מחליפים את התנאי r 0 ב d ; r < ראו הגדרה תרגיל (**) נניח שהטענה של משפט מתקיימת כאשר > 0 d,n. ממקרה זה את המשפט השלם. הסק 6

7 מבוא לתורת המספרים 1.3. המחלק המשותף המקסימלי פרק המחלק המשותף המקסימלי הגדרת המחלק המשותף המקסימלי הגדרה יהיו,n. m Z מספר d נקרא מחלק משותף מקסימלי של,n m אם הוא מקסימלי לגבי יחס החלוקה בין כל המחלקים המשותפים. כלומר, d מחלק את n ואת m, ומתחלק בכל מחלק משותף אחר. שימו לב שא פריורי, לא ברור שתמיד קיים מספר כזה. גם אם d הוא הגדול ביותר בין המחלקים המשותפים לגבי יחס הסדר הרגיל, מדוע בעצם הוא מוכרח להתחלק בכל מחלק משותף אחר? (התשובה לכך מופיעה בהמשך הסעיף, ונסמכת על משפט 1.3.7, שאינו טריוויאלי כלל ועיקר.) תרגיל (**) אם d הוא מחלק משותף מקסימלי של,a, b ו a,d d,b b,a אז d הוא מחלק משותף מקסימלי של b a, (במלים אחרות, אפשר לומר שמחלקת החברות [d] היא מחלק משותף מקסימלי של מחלקות החברויות [b],[a].). תרגיל (**) הוכח שאם קיים מחלק משותף מקסימלי של n ו m, אז הוא יחיד עד כדי חברות. תרגיל (*) לכל a a, הוא מחלק משותף מקסימלי של,a. 0 Z כחוג ראשי הגדרה לכל,a b שלא שניהם אפס, נסמן ב ( b,a) את המספר הגדול ביותר בקבוצת המחלקים המשותפים של a ו b (גדול ביותר לגבי יחס הסדר הרגיל). תרגיל (+*) (b,a) קיים לכל,a b שאינם שניהם אפס. משפט לכל,n, m Z קיימים α, β Z כך ש m).αn + βm = (n, תרגיל (***) הוכח את המשפט. הדרכה. נסמן ב e את המינימום של הקבוצה = 0 I βm} min {x > 0 α, β : x = αn + ו ( b d e.d = (a, כי e צירוף ליניארי של.a, b כתוב.d = e מכאן I 0.e d לכן ;e b בדומה ;e a ולכן,r והראה = 0,a = qe + r תרגיל (+**) נניח ש,a b אינם שניהם אפס. הוכח ש ( b d =,a) הוא מחלק משותף מקסימלי של,a. b הדרכה. ברור שכל מחלק של d מחלק את a ואת b. נניח ש x מחלק את a ואת b, אז הוא מחלק את d לפי מפשט תרגיל (**+) נניח שלמספרים n 1,..., n t אין מחלק משותף גדול מ 1. הראה אינדוקציה על t בעזרת הדרכה. שקיימים α 1,..., α t כך ש = 1 t.α 1 n α t n משפט

8 1.3. המחלק המשותף המקסימלי פרק 1. מבוא לתורת המספרים אלגוריתם אוקלידס האוקלידיות של חוג השלמים מאפשרת לחשב את המחלק המשותף המקסימלי. התרגיל הבא הוא נקודת המפתח לאלגוריתם: תרגיל (**) אם a = qb + r אז r).(a, b) = (b, דוגמא: = 30) (36, = 36) (138, = 138) (174, = 174) (486, = 486) (1146,.(30, 6) = (6, 0) = 6 תרגיל (***) תאר אלגוריתם הנעזר בחילוק עם שארית כדי לחשב את המחלק המשותף המסימלי של שני מספרים נתונים. תרגיל (***) הוכח שהסיבוכיות של האלגוריתם שתארת היא לוגריתמית בגדול מבין שני מספרי הקלט. הראה שמספר פעולות החילוק הוא לוגריתם לפי הבסיס 1+ 5 =.ϕ הסבר במה מספרי פיבונאצ'י, המוגדרים לפי n 2,F n = F n 1 + F קשורים 2 לכאן. תרגיל (*) מצא את 1260) (5614, ואת 6429).(7821, תרגיל (**+) הראה שלכל.(4n + 3, 7n + 5) = 1,n תרגיל (**) מצא את כל המספרים השלמים n כך ש 9).(n + 1) (n 2 + האפשרות להציג את המחלק המשותף המקסימלי כצירוף שלם היא כל כך שימושית, עד שכדאי להכיר אלגוריתם לחישוב מהיר של המקדמים הללו. האלגוריתם 'רוכב', למעשה, על האלגוריתם לחישוב המחלק המשותף המקסימלי עצמו, והוא נקרא אלגוריתם אוקלידס המוכלל. תרגיל (**) נסמן m).d = (n, אם n = qm + r ו d αm + βr = אז (α βn +.βq)m = d דוגמא. = 1 0) (1, = 1) (10, = 10) (51, = 51) (61, = 61).(234, כעת: + (1)1 = 1 ;(0)0 לכן = 1 (1)1 + ;(0)10 לכן = 1 10 (5) ;(1)51 לכן = 1 (6) ,( 5) ובסופו של דבר = 1 61 ( 23) +.(6)234 תרגיל (***) תאר אלגוריתם לחישוב המחלק המשותף המקסימלי של זוג מספרים, והצגה שלו כצירוף שלם שלהם. תרגיל (**) מצא α, β Z כך ש = 1 927β.1525α + תרגיל (+**) בהמשך לתרגיל , מצא,α β Z (התלויים ב n ) כך ש.(4n + 3)α + (7n + 5)β = מספרים זרים הגדרה המספרים n, m הם זרים אם = 1 m).(n, טענה אם a, b זרים ו bc,a אז.a c תרגיל (**) הוכח את הטענה. הדרכה. כתוב = 1 βb.αa + תרגיל (*) הראה שהמסקנה של טענה אינה נכונה אם מוותרים על הדרישה ש,a b יהיו זרים. 8

9 מבוא לתורת המספרים 1.4. ראשוניים ופירוק לגורמים פרק תרגילים נוספים תרגיל (**) הראה שלכל שני מספרים n, m אפשר לכתוב dn n = ו dm m = כאשר m) d = (n, ו m n, זרים. תרגיל (**) m).(kn, km) = k(n, תרגיל (**) אם = 1 k),(m, אז k).(n, mk) = (n, m) (n, תרגיל (**) הוכח: k).(n, mk) (n, m) (n, הדרכה. כתוב cn+ an+bm = (n, m), dk = (n, k) תרגיל (**) אם = 1 m),(n, אז k).(n, mk) = (n,. d (d,m) d תרגיל (**) אם d d אז לכל (d,m),m תרגיל (**) הוכח ש k זר ל nm אם ורק אם k זר ל n ול m. הגדרה הכפולה המשותפת המינימלית של n ו m, המסומנת ב [ m,n], היא המספר הקטן החיובי ביותר המתחלק בשניהם. תרגיל (***) הוכח:.(n, m)[n, m] = nm הדרכה. העזר בתרגיל תרגיל (**) N עם יחס החלוקה הוא סריג, שבו m] n m = (n, m),n m = [n, (ראה תת סעיף 6.4). תרגיל (**+) לכל n, m, k מתקיים k]) [n, (m, k)] = ([n, m], [n, במונחי התרגיל הקודם, k),n (m k) = (n m) (n ולכן הסריג ) (N, ''דיסטריבוטיבי''.,( n (n,m) תרגיל ( ***) יהיו,n m מספרים שלמים. א. הוכח שקיימים a A ו b B כך ש m = Ab,n = ab ו 1 = B).(A, ב. הראה שאם n m אז,a,b,A B כנ"ל הם יחידים. הדרכה. חשב את (m k, כאשר k גדול מספיק. 1.4 ראשוניים ופירוק לגורמים הגדרה מספר p Z הוא ראשוני אם הוא אינו יכול לחלק מכפלה בלי לחלק את אחד הגורמים שלה. הגדרה זו, שבחרנו מסיבות שתתבררנה כשנטפל בתחומי שלמות כלליים, אינה ההגדרה המקובלת למספר ראשוני; צמד התרגילים ו מראה שההגדרה המקובלת שקולה לזו שנתנו כאן. הגדרה מספר p Z הוא אי פריק, אם בכל פירוק,p = ab בהכרח 1 a או 1.b כל מספר מתחלק בהפיכים ובחברים שלו, ולכן אלו נקראים 'מחלקים טריוויאליים'. 9 תרגיל (*) התכונות הבאות שקולות:

10 פרק 1. מבוא לתורת המספרים 1.5. שקילות מודולו n.1 p אי פריק..2 אם p = ab אז a p או.b p.3 אם a p אז 1 a או.a p תרגיל ( **) כל ראשוני הוא אי פריק. תרגיל (*) אם p אי פריק, אז לכל p n,n או = 1 n).(p, תרגיל (+**) כל אי פריק הוא ראשוני. הדרכה. יהי p אי פריק, ונניח p. ab אם p a אז = 1 a) (p, לפי תרגיל,1.4.5 ולפי, b.p תרגיל (+*) הראה ש p Z ראשוני אם ורק אם אין לו אף מחלק לא טריוויאלי. תרגיל (**) כל מספר טבעי אפשר להציג כמכפלה של גורמים ראשוניים. הדרכה. אינדוקציה שלמה. משפט הפירוק של מספר טבעי לגורמים ראשוניים הוא יחיד עד כדי סדר. תרגיל ( ***) הוכח את המשפט. n = p a 1 1 pa t t יחלק את n = p a 1 1 pa t תרגיל (+**) תן קריטריון לכך ש t (כאשר 0 i,(a i, a ונוסחה למחלק המשותף המקסימלי. תרגיל (*) מצא את הפירוק לראשוניים של המספרים , 5720, ו.4096 משפט (אוקלידס) יש אינסוף מספרים ראשוניים. תרגיל (**+) הוכח את המשפט. הדרכה. נניח שהראשוניים היחידים הם.p 1,..., p n התבונן ב + 1 n.n = p 1 p תרגיל (**) הוכח שיש אינסוף ראשוניים מהצורה + 1 4n. תרגיל (***) הוכח שיש אינסוף ראשוניים מהצורה 1 4n. תרגיל (**) הוכח שיש אינסוף ראשוניים מהצורה 1 6n. תרגיל (***) מצאו את כל הזוגות של ראשוניים p, q כך ש + p + q 6pq שקילות מודולו n יהי n Z 0 קבוע. נגדיר יחס על המספרים השלמים: הגדרה a' שקול ל b מודולו 'n (כותבים: n) ( a b (mod אם b).n (a תרגיל (*) הוכח ששקילות מודולו n היא יחס שקילות (כלומר, טרנזיטיבית, סימטרית ורפלקסיבית). 10

11 1.5. שקילות מודולו n פרק 1. מבוא לתורת המספרים שקילות מודולו n היא יחס. בשפות מחשב שונות מגדירים פעולה של חילוק עם שארית, שאותה מסמנים ב mod ; כפי שנראה, הטיפול במחלקות שקילות גמיש ונוח יותר מאשר בשאריות. טענה אם n) a a (mod ו ( n,b b (mod אז n) a + b a + b (mod ו ( n.ab a b (mod תרגיל (+**) הוכח את הטענה. פירושו של דבר הוא שפעולות החיבור והכפל של מחלקות שקילות מודולו n, המבוצעות על נציגים, מוגדרות היטב. עובדה זו תהיה לנו לעזר רב בהמשך..m מחלק את (a n 1, anm 1 a n 1 תרגיל ( ***) הוכח שלכל > 1 a ולכל,n, m ).a n 1 (mod a n 1) זרים. הדרכה. a n 1, an a 1 a n 1 הסק ש משפט השאריות הסיני משפט (משפט השאריות הסיני) יהיו,n m זרים. לכל,a, b קיים x יחיד מודולו nm כך ש.x b (mod ו ( m x a (mod n) תרגיל (+**) הוכח את המשפט. הדרכה. נניח ש = 1 βm.αn + הראה ש x = αnb + βma פתרון. את היחידות הוכח לפי ספירה. תרגיל (**+) הוכח את הגרסה הבאה של המשפט: אם n 1,..., n t זרים בזוגות, אז לכל a 1,..., a t קיים x יחיד מודולו n = n 1 n t המקיים ) i.x a i (mod n. { x 4 (mod 8). x 5 (mod 15) x 1 (mod 5) x 1 (mod 6) x 2 (mod 7) } תרגיל (**) פתור את מערכות המשוואות תרגיל (**) פתור את מערכות המשוואות { } x 5 (mod 12) אין פתרונות. הראה תרגיל (**) הראה שלמערכת x 6 (mod 8) { } x 4 (mod 12) יש יותר מאחד (מודולו 12 8). מדוע אין זו סתירה שלמערכת x 6 (mod 8) למשפט?,n m שלמים. מצא תנאי הכרחי ומספיק על,a b לכך שלמערכת { תרגיל ( ***) } x a (mod n) יהיה פתרון יחיד מודולו [m,n]. x b (mod m) 11

12 פרק 1. מבוא לתורת המספרים 1.5. שקילות מודולו n 12

13 פרק 2 חבורות למחצה ומונוידים בפרק הקצר הזה נכיר את המערכות האלגבריות הפרימיטיביות ביותר - אלו שיש להן רק פעולה אחת עם מספר אקסיומות מינימלי. המטרה העיקרית היא להתרגל לרעיון של פעולה אבסטרקטית, שרק בגללו יש צורך לפתח מבנים אלגבריים כלליים. מושגים: פעולה אסוציאטיבית, חבורה למחצה, איבר יחידה, איבר אפס; מונויד, איבר הפיך. 2.1 חבורות למחצה פעולה בינרית על קבוצה A היא פונקציה : A A A. שימו לב שלפי ההגדרה, הפעולה ''מוגדרת היטב'', כלומר, לכל שני איברים,x y A יש ערך יחיד ו''סגורה'' הערך הזה שייך ל A. x; y פעולה היא אסוציאטיבית אם.a (b c) = (a b) c הגדרה חבורה למחצה היא מערכת מתמטית הכוללת קבוצה עם פעולה אסוציאטיבית עליה. תרגיל ( ***) הראה שאם הפעולה אסוציאטיבית, אז החזקה מוגדרת היטב (כלומר, כל הדרכים להכפיל איבר x בעצמו n פעמים מביאות לאותה תוצאה). תרגיל (*) קבוצת המספרים הזוגיים עם פעולת הכפל, היא חבורה למחצה. תרגיל (*) תהי S קבוצה. נגדיר.a b = b הוכח ש ) (S, חבורה למחצה. הסיבה לכך שאסוציאטיביות היא תכונה חשובה ונפוצה כל כך, היא שהרכבת פונקציות היא אסוציאטיבית. תרגיל (*) תהי X קבוצה. האוסף X X של פונקציות X, X עם פעולת ההרכבה של פונקציות, הוא חבורה למחצה. תרגיל (**) קבע האם קבוצת המספרים הממשיים R, עם הפעולה = b a ) 2 (a2 + b 2, 1 היא חבורה למחצה. 13

14 פרק 2. חבורות למחצה ומונוידים 2.2. מונוידים תרגיל (**) נניח שבחבורה למחצה A אפשר לקרוא את הגורמים מתוך המכפלה, כלומר, אם ab = cd אז a = c ו d.b = הוכח ש = 1. A הגדרה איזומורפיזם של חבורות למחצה (,Y),X),( הוא פונקציה חד חד ערכית ועל f, : X Y כך ש ) f(x) f(x.f(x x ) = אם קיים איזומורפיזם בין החבורות למחצה, אומרים שהן איזומורפיות, ומסמנים.X = Y תרגיל (**) איזומורפיות היא תכונה טרנזיטיבית, סימטרית ורפלקסיבית. מנקודת המבט של תורת הקבוצות האקסיומטית יש כאן אי דיוק מסויים, אבל אפשר לומר שאיזומורפיות היא יחס שקילות. תרגיל (**) יש בדיוק חמש חבורות למחצה בנות 2 אברים עד כדי איזומורפיזם. כלומר, יש חמש חבורות למחצה בנות 2 אברים, שאינן איזומורפיות זו לזו, וכל חבורה למחצה בת שני אברים איזומורפית לאחת מהן. הגדרה איבר e בחבורה למחצה S הוא איבר יחידה אם לכל.xe = xe = x,x S תרגיל (*) אם יש בחבורה למחצה איבר יחידה, אז הוא יחיד. {( ) } M = a b היא חבורה למחצה. האם 0 0 תרגיל (**) הראה ש : a, b R יש לה איבר יחידה? הגדרה אם איבר z בחבורה למחצה מקיים za = az = z לכל a, הוא נקרא איבר אפס. תרגיל (*) הראה שאם קיים בחבורה למחצה איבר אפס, אז הוא יחיד. תרגיל (**) תן דוגמא לחבורה למחצה עם איבר אפס, ולחבורה למחצה ללא איבר אפס. 2.2 מונוידים הגדרה חבורה למחצה עם איבר יחידה נקראת מונויד. תרגיל (**) תהי A קבוצה. הוכח ש A} M = A A = {f : A עם פעולת ההרכבה הוא מונויד. תרגיל (*) מצא אלו מן המערכות הבאות הן מונוידים: Z עם פעולת החיסור. 0} > x R + = {x : עם פעולת הכפל. (R) M 2 עם פעולת הכפל של מטריצות. תרגיל (*) קבע לגבי כל אחת מהמערכות הבאות האם היא חבורה למחצה והאם היא מונויד. אוסף המטריצות ) F) M n עם פעולת הכפל. אוסף הפונקציות הרציפות R 1],[0, עם כפל g(t).(f g)(t) = f(t) אוסף המספרים הרציונליים עם הכפל הרגיל. 14

15 2.2. מונוידים פרק 2. חבורות למחצה ומונוידים תרגיל (**) אם אחת מבין שתי חבורות למחצה איזומורפיות היא מונויד, אז גם השניה כך. תרגיל (**) כתוב את לוחות הכפל של כל המונוידים בעלי 2 אברים. תרגיל (***) כתוב את לוחות הכפל של שבעה המונוידים בעלי 3 אברים. תרגיל (**) השלם את לוח הכפל של מונויד {c M =,e},a,b שבו e איבר יחידה, bc = a,ab = c ו b.ca = תרגיל (**) הראה שכל חבורה למחצה S אפשר להרחיב למונויד {e} S, = S אם נגדיר את e להיות איבר היחידה במבנה החדש. תרגיל (**) תאר את המונויד המתקבל לאחר חזרה n פעמים על הבניה של תרגיל 2.2.9, כשמתחילים ממונויד האפס {0} = M. תרגיל (**) א. M מונויד. נקבע,z M ונרחיב את הפעולה לפי = mz zm = z. הוכח ש {z} M מונויד, שבו z הוא איבר האפס. ב. נניח ש {0} = M. תאר את המונויד המתקבל אחרי n הפעלות של התהליך הזה. הגדרה יהי M מונויד עם איבר היחידה 1. איבר a M הוא הפיך אם קיים b M כך ש.ab = ba = 1 תרגיל (**) אם a הפיך, אז האיבר b שמספקת ההגדרה הוא יחיד. לכן, אם a הפיך, מוצדק לקרוא לאיבר b המקיים = 1 ba ab = ההפכי של a, בהא הידיעה, ולסמן אותו בסימון 1 a. תרגיל (*) אם a הפיך, אז גם 1 a הפיך, ו a.(a 1 ) 1 = תרגיל (**) אם a, b הפיכים, אז גם ab הפיך, ו 1 a.(ab) 1 = b 1 הגדרה את אוסף האיברים ההפיכים במונויד M מסמנים ב ( U(M. טענה לכל מונויד U(M) M, הוא חבורה. תרגיל (**) הוכח את הטענה. כתוב בזהירות מה בדיוק צריך להוכיח; למשל, מדוע פעולת הכפל ב ( U(M מוגדרת היטב? תרגיל (***) תן דוגמא למונויד עם איברים,a b כך ש = 1 ab אבל a ו b אינם הפיכים. הדרכה. חשוב על X. = N N תרגיל (**) אם במונויד מתקיים aba = a ו 1 = a,ab 2 אז 1 b.a = תרגיל (**) יהי ) (M, מונויד, ויהי.a M נגדיר.x y = x a y הוכח ש (,M) חבורה למחצה. מצא תנאי הכרחי ומספיק לכך ש (,M) מונויד..x y = xy+λ x+y 1 תרגיל (***) יהי < λ 1/4 מספר ממשי. נגדיר 15

16 פרק 2. חבורות למחצה ומונוידים 2.2. מונוידים ( 1 2 = I הוא חבורה למחצה ביחס לפעולה..1 הוכח שהקטע ),.2 נניח ש e 2 + e = λ עבור e I (בדוק ש e יחיד). הוכח ש e איבר אפס של הפעולה. [ 1 2 על ידי מעבר לגבול: = a ) 2 ( 1 3. נרחיב את הפעולה לקטע [, lim x ( 1 x a וכן a = lim x x a. בדוק ש = ) 2 ( 1 ) 2,( 1 וש 2 הוא +( איבר יחידה בקטע החדש..a b = a b וש a = a בדוק ש.a = ( נסמן a ) 5. הראה ש e תמיד בין a ל a..6 הוכח שלמשוואה a x = b קיים פתרון אם ורק אם b בין a ל.a ], 1 2 הסגורות ביחס לפעולה. 7. מצא את כל תת הקבוצות הקשירות של [,.8 הוכח שלכל.lim n a n = e,a I [רמז. פרק לגורמים את [.a b e תרגיל ( ***) 1. פעולת האקספוננט x e x היא איזומורפיזם של המונויד.(R +,, 1) אל המונויד (R, +, 0).2 נגדיר פעולות n (עבור (n Z הקשורות ביניהן באמצעות היחס = nb e a e. a 1+n e b נניח שהפעולה הראשונה בסדרה,, 1 היא פעולת החיבור. הראה שהפעולה השניה היא הכפל.x 2 y = xy.3 הראה ש log(x),x 3 y = x log(y) = y ו log(y).x 4 y = e elog log(x) log.4 הראה ש ( a 0 b = log(e a + e b ו ((.a 1 b = log(log(e ea + e eb 5. מהי הקרן הגדולה ביותר (,c] שבה מוגדרת הפעולה? n.6 חשב את הגבול b).lim n (a n 7. מצא מה צריך להיות הערך של e (עד כאן הנחנו רק ש 1 > e), כך ש 4 = חשב עבור בחירה זו את n 2 2 לכל n. 16

17 פרק 3 חבורות ותת חבורות כאן נפגוש את גיבורת החלק הראשון של הקורס, החבורה, ונכיר כמה דוגמאות חשובות. מושגים: מונויד עם צמצום, חבורה. איזומורפיזם. סדר של חבורה. Z. n חבורות אוילר. החבורות הסימטריות. החבורות הדיהדרליות. החבורה הליניארית הכללית. חבורה אבלית. מכפלה ישרה חיצונית. תת חבורה. 3.1 חבורות הגדרה חבורה היא מונויד שבו כל האיברים הפיכים. במלים אחרות, חבורה היא מערכת מתמטית הכוללת קבוצה G, פעולה אסוציאטיבית : G G G ואיבר יחידה G 1, כך שכל האיברים של G הפיכים. הסימן 1 עשוי להטעות, משום שבמקרים רבים אברי החבורה כלל אינם מספרים, או שדווקא המספר 0 הוא איבר היחידה (אכן, יש ספרים המעדיפים לסמן את איבר היחידה באות e). כדי למנוע בלבול, אם של היחידה איבר את לסמן עשויים אנו חבורות, כמה בבעיה מעורבות.1 G בסימון G כל קבוצה עם איבר אחד (ופעולת הכפל ההכרחית) היא חבורה. כל החבורות האלה איזומורפיות, ונקראות החבורה הטריוויאלית. לפעמים, במקום לסמן חבורה זו ב { 1 } = G, נכתוב פשוט = 1.G תרגיל (*) אם G חבורה אז.U(G) = G הגדרה למונויד יש תכונת הצמצום משמאל אם ab = ac גורר b. = c באופן דומה מוגדר גם צמצום מימין. תרגיל (*) בדוק שבמונויד יש צמצום מימין ומשמאל אם ורק אם לוח הכפל שלו הוא ריבוע לטיני. משפט מונויד סופי עם צמצום משמאל הוא חבורה. 17

18 פרק 3. חבורות ותת חבורות 3.1. חבורות תרגיל (***) הוכח את המשפט. תרגיל ( ***) תן דוגמא למונויד (אינסופי) עם צמצום משמאל שאינו חבורה. תרגיל (**) S חבורה למחצה סופית, ו S Sa = as = לכל.a S הוכח ש S מונויד. תרגיל (***) אם בחבורה למחצה יש פתרון לכל משוואה מן הצורה ax = b או,xa = b אז זו חבורה. תרגיל (**) תן דוגמא למונויד ציקלי סופי (כלומר, מונויד שיש לו איבר a M כך ש { N,(M = {a n : n שאינו חבורה. תרגיל (**) אם,X Y חבורות ו f : X Y איזומורפיזם של חבורות למחצה, אז הוא מעביר את איבר היחידה של X לאיבר היחידה של Y, ואת ההפכי של איבר להפכי של התמונה שלו. הגדרה אם יש איזומורפיזם בין חבורות, אומרים שהן איזומורפיות ) בדיוק כמו במקרה של חבורות למחצה או מונוידים). תרגיל (+*) הראה שבחבורה בת יותר מאיבר אחד, ) יש איבר יחידה אבל) אין איבר אפס (ראה הגדרה ). תרגיל (**) תהי G חבורה עם.a, b G הוכח: למשוואה xax = b יש פתרון אם ורק אם ab הוא ריבוע (כלומר, מהצורה y) 2 ב G. 1 a x 2 ax = יש הוכח: למשוואה 1 תרגיל ( ***) תהי G חבורה עם.a G פתרון אם ורק אם a הוא חזקה שלישית ב G. הוכח ש.a 2 = 1, ab 2 a 1 = b 3 תרגיל (**+) אברים a, b בחבורה מקיימים.b 5 = 1 תרגיל (**) קבע האם הקבוצה Q} {x R : tan(x) היא חבורה ביחס לפעולת החיבור. הן חבורות: {( שהמערכות הבאות ) (**) הוכח } תרגיל, x y עם כפל המטריצות הרגיל. y x א. > 0 2 : x, y R, x 2 + y ;a 1 a+b a = ;ab ו 1 a, b אם a b = ב. { } R R = עם הפעולה 1 ab. = 0 ;a = 1 a {f a : a R} הוכח ש.f a : x x 1+ax 2 תרגיל (**) נתבונן בפונקציות הממשיות היא חבורה ביחס להרכבת פונקציות. תרגיל ( ***) תן דוגמא לקבוצה סופית עם פעולה בינארית לא אסוציאטיבית, קח הצעה. עם איבר יחידה וצמצום מימין ומשמאל, שיש בה איברים לא הפיכים.,a i a i = ϵ,a i ϵ = a i 1,ϵ a i = a i+1 עם פעולת הכפל M = {1, ϵ, a 0, a 1, a 2}.a i a i 1 = a i+1,a i a i+1 = 1 18

19 חבורות ותת חבורות 3.2. סדר של חבורה פרק סדר של חבורה הגדרה הסדר של חבורה הוא מספר האיברים בחבורה. פריט המידע החשוב ביותר על חבורה סופית הוא הסדר שלה. בהמשך נראה שאפשר ללמוד הרבה על חבורה מידיעת הסדר שלה לבדו, אם כי בדרך כלל יש כמה חבורות לא איזומורפיות מאותו סדר. תרגיל (**) כתוב את לוחות הכפל של כל החבורות מסדר,2.,3 4 תרגיל (**) העזר בכלל הצמצום כדי להראות שיש חבורה אחת מסדר 5, עד כדי איזומורפיזם. אומרים שאיברים a, b G בחבורה הם מתחלפים אם.ab = ba תרגיל (**) כתוב את לוח הכפל של חבורה מסדר 6, עם איברים,τ σ שאינם מתחלפים, המקיימים = 1 3.τ 2 = σ הדרכה. אברי החבורה הם :τ, στ, σ 2 τ,1, σ, σ 2 הוכח שכל אלה שונים זה מזה, ומצא את τσ בהנחה שהוא איבר באותה רשימה. תרגיל (*) לחבורות איזומורפיות יש אותו סדר (וראה תרגיל ). 3.3 דוגמאות לחבורות איך מתארים חבורה? בשלב זה, הדרך היחידה שאנו מכירים לתאר חבורה היא באמצעות לוח הכפל שלה. כמובן שזו דרך לא יעילה. כתחליף, נוכל להסתפק בתאור נוסחאתי (כלומר, נוסחת כפל במקום לוח כפל), אלא שגם מהצגה זו קשה ללמוד באיזו חבורה מדובר. בסעיף הזה נכיר כמה דוגמאות, כדי שנוכל לקרוא לחבורות הנפוצות ביותר בשמן, ואחר כך נלמד להרכיב חבורות חדשות מאלו שאנו מכירים החבורות הציקליות Z ו :Z n החבורה האינסופית הפשוטה ביותר היא (0,+,Z). אם 'מקפלים' את החבורה הזו למחלקות שקילות, מקבלים חבורה אחת מכל סדר. נקבע 1 n. תרגיל (*) הראה שיש בדיוק n מחלקות שקילות מודולו n. מספר שקול לאחד מבין 1 n,...,1,0, ושאלה אינם שקולים זה לזה. הדרכה. הראה שכל תרגיל (**) הזכר בטענה,1.5.3 והראה שפעולת החיבור b] [a] + [b] = [a + מוגדרת היטב. כשמגדירים העתקה מקבוצה לקבוצה (ופעולה בינרית בכלל זה), עולה לפעמים צורך להוכיח שהפעולה מוגדרת היטב. ישנם שני מצבים שכיחים. בראשון, אם f, : A B מגדירים את f(α) באופן מסויים, וצריך לוודא 19

20 3.3. דוגמאות לחבורות פרק 3. חבורות ותת חבורות שאכן.f(α) B המקרה השני הוא כאשר A אוסף של מחלקות שקילות, ובהגדרת f(α) מבצעים בחירה (בדרך כלל של נציג מהמחלקה α). לדוגמא, בפעולת החיבור כתבנו y]","[x] + [y] = [x + במקום "יהיו α, β מחלקות; נבחר נציגים x, y כך ש ;[y] = β,[x] = α נגדיר y]."α + β = [x + צריך לוודא שבחירת נציגים y x, עם אותן תכונות תביא לאותה תוצאה. תרגיל (**) הראה שאוסף המחלקות 1] [n,... [0], הוא חבורה ביחס לחיבור: 1. הראה שהפעולה אסוציאטיבית. 2. הראה שיש איבר יחידה (מהו?). 3. הראה שלכל איבר קיים הפכי. מהו איבר היחידה? מהו ההפכי של [a]? הגדרה החבורה של מחלקות השקילות מודולו n, ביחס לפעולת החיבור, נקראת Z n (וגם,Z/nZ מסיבות שיובררו בסעיף 5.4). שני הסימונים, Z n וגם,Z/nZ עשויים להתייחס לשלושה עצמים שונים: קבוצת מחלקות השקילות מודולו n; המערכת המתמטית הכוללת את הקבוצה הזו עם פעולת החיבור (זו חבורה); והמערכת המתמטית הכוללת את הקבוצה עם פעולות החיבור והכפל ) ''חוג''). תרגיל (*) אם n m אז החבורות Z n, Z m אינן איזומורפיות חבורות אוילר :U n כמקודם, נקבע 1.n תרגיל (**) הזכר בטענה,1.5.3 והראה שפעולת הכפל b] [a] [b] = [a מוגדרת היטב. תרגיל (**) הראה שאוסף מחלקות השקילות Z, n עם פעולת הכפל, הוא מונויד, אבל אינו חבורה אלא במקרה הטריוויאלי = 1 n. תרגיל (*) המחלק המשותף המקסימלי תלוי רק במחלקת השקילות מודולו n. במלים אחרות, אם n) a a (mod אז n).(a, n) = (a, תרגיל ( ***) איבר [a] Z n הוא הפיך ביחס לכפל אם ורק אם = 1 (n,a). תרגיל (***) אם = 1 n),(a, n) = (b, אז = 1 n).(ab, הגדרה חבורת אוילר מסדר U, n n, היא אוסף מחלקות השקילות מודולו n, של מספרים הזרים ל n, עם פעולת הכפל. החבורות נקראות על שם לאונרד אוילר,

21 חבורות ותת חבורות 3.3. דוגמאות לחבורות פרק 3. תרגיל (***) הראה שההפכי של a U n הוא מספר α המקיים = 1 βn αa + לאיזשהו β. תרגיל (**) הראה ש U n היא חבורה: 1. הראה שהפעולה אסוציאטיבית. 2. הראה שיש איבר יחידה (מהו?). 3. הראה שלכל איבר קיים הפכי. מהו ההפכי של [a]? הדרכה. ראה תרגיל תרגיל (**) הראה ש ), n U n = U(Z (ראה הגדרה.( למרות ש U n נקראת 'חבורת אוילר מסדר n', מספר האיברים בחבורה הזו אינו n אלא φ(n) = {1 a n : (a, n) = 1} ; הפונקציה φ נקראת פונקציית אוילר. תרגיל (*) חשב את φ(n) עבור, , = 1,.n תרגיל (*) כתוב את לוח הכפל של החבורות,U n עבור = 2, 3, 4, 5, 6,n.7, 8, 9, 10, 12 תרגיל (**) הוכח:,U 6 = U4 = U3 = Z2.1,U 10 = U5 = Z4.2.U 9 = U7 = Z6.3 U 5 ו U 8 מאותו סדר אבל אינן איזומורפיות. תרגיל (**) החבורות הסימטריות S n הגדרה פונקציה חד חד ערכית ועל מקבוצה לעצמה, σ, : X X נקראת תמורה. הגדרה את אוסף כל התמורות σ : X X נסמן S. X לשם הקיצור, עבור הקבוצה = X (στ)(a) = אנו מכפילים תמורות מימין לשמאל, כמו הרכבת פונקציות:.S X = S n מסמנים {1,..., n}.σ(τ(a)) תמורה ב S n היא פונקציה מהקבוצה {n,(...,1} אל עצמה. צורת רישום )אפשרית אחת 1 2 n.σ = היא לתאר את σ במטריצה של שתי שורות, σ(1) σ(2) σ(n) ) תרגיל (*) חשב ( את (המכפלות הבאות: ( , ( ) ( ) ( ) 1 2 n 1 n 1 2 m m + 1 n 1 2 n 1 n. 2 3 n m + 1 n 2 3 n 1 21

22 3.3. דוגמאות לחבורות פרק 3. חבורות ותת חבורות.S X תרגיל (**+) הוכח שאם Y X = אז = SY S, X עם פעולת הרכבת הפונקציות, היא חבורה. תרגיל (*) תרגיל (*) הוכח ש n!. S n = תרגיל (**) כתוב את לוח הכפל של S 2 S, 1 ו S 3 (השווה את לוח הכפל.S 2 האחרון לזה של תרגיל 3.2.4). בדוק ש = Z2 הגדרה אם r 1,..., r t n 1 שונים זה מזה, תמורה σ המעבירה 2 r 1 r r t r 1 (וקובעת את שאר האברים) נקראת מחזור. ומסמנים ) t.σ = (r 1 r 2 r הסדר של המחזור הוא האורך שלו,.o(σ) = t הקבוצה } t r} 1,..., r נקראת התומך של המחזור; מחזוורים זרים הם מחזורים שהתומכים שלהם זרים. תרגיל (**) מחזורים זרים - מתחלפים. משפט כל תמורה ב S n אפשר לכתוב כמכפלה של מחזורים זרים. תרגיל (*) הצג את כל האברים ב S 3 במכפלות של מחזורים. ) תרגיל (*) כתוב ( כמכפלת (מחזורים את התמורות הבאות: ( , תרגיל (*) חשב את המכפלות 4) 4)( )(3 2,(1 2 4 n) (1 3) 2)(1.(1 תרגיל ) (*) כתוב בצורה )המלאה וכמכפלה של מחזורים זרים, את התמורות ,γ = (12)(14)(23)(42)(14),β = (143)(25)(6),α = הבאות: δ = αβγ תרגיל (**) הראה שאם τ 1, τ 2 מחזורים זרים, τ 1 (α) α ו β,τ 2 (β) אז.o(τ 1 ) + o(τ 2 ) מחזור באורך τ 2 τ 1 (αβ) החבורות הדיהדרליות D n יהי 2.n החבורה הסימטרית S n היא אוסף כל הדרכים לערבב את העצמים, n....1, אם נטיל מגבלות על סוגי הערבוב המותרים, נקבל חבורות קטנות יותר. למשל, החבורה D n מוגדרת כאוסף הדרכים לפעול על מצולע בן n צלעות, כך שיתפוס בסוף הפעולה את אותו המקום במרחב. יש שתי פעולות יסודיות: סיבוב ימינה ב n 1 המעגל (שנסמן באות σ), ושיקוף בציר קבוע כלשהו העובר דרך מרכז המצולע ואחד הקודקודים (שנסמן באות τ). תרגיל (**) בדוק שהפעולות מקיימות את היחסים = 1 n,τ 2 = 1,σ ו = 1 τστ.σ 1 תרגיל (**) הראה שיש בדיוק 2n דרכים למקם מצולע משוכלל בן n צלעות, כך שיתפוס מקום מוגדר מראש. 22

23 3.4. אבליות פרק 3. חבורות ותת חבורות תרגיל (**) הראה שהפעולות,j = 0, 1,i = 0,..., n 1,σ i τ j שונות זו מזו. הגדרה החבורה הדיהדרלית מסדר D, n n, היא הקבוצה { σ i τ j : i = 0,..., n 1, j = 0, 1 }, עם הפעולה 2).σ i τ j σ i τ j = σ i+( 1)j i (mod n) τ j+j (mod תרגיל (**) בדוק שהפעולה אסוציאטיבית. הראה ש σ 0 τ 0 הוא איבר היחידה, וש.(σ i τ j ) 1 = σ ( 1)ji τ j הסק ש D n היא חבורה מסדר.2n.D 3 תרגיל (**) הוכח ש = S3 תרגיל (**) הוכח: n/2 Z(D n ) = σ אם n זוגי, ו = 1 ) n Z(D אחרת. תרגיל (***) כל תת החבורות של החבורה הדיהדרלית D n הן מן הטיפוסים הבאים:,Z 2 Z 2 ציקליות מסדר m או דיהדרליות מסדר,m כאשר.m n חבורות המטריצות הקלאסיות יהי F שדה (למשל,,F = Q, R, C אבל גם Z p כאשר p ראשוני (ראה תרגיל.((4.4.2 תרגיל (+*) הראה שאוסף המטריצות ) F) M, n ביחס לפעולת הכפל, הוא מונויד שיש לו איבר אפס. הגדרה 0} det(a).gl n (F ) = {A M n (F ) : תרגיל (*+) )) (F.GL n (F ) = U(M n תרגיל (**+) רשום את אברי החבורה ) 2.GL 2 (Z הוכח ש.GL 2 (Z 2 ) = S אבליות הגדרה אברים,x y בחבורה מתחלפים אם.xy = yx אם כל שני אברים בחבורה מתחלפים, אומרים שהיא אבלית. בחבורה אבלית פעולת הכפל היא קומוטטיבית, ולפעמים קוראים לחבורה כזו גם 'חבורה קומוטטיבית'. הנריק אבל, , ממייסדי תורת החבורות. קוראים להן חבורות אבליות על שמו של נילס פעולת החבורה נקראת בדרך כלל 'כפל', ומסומנת בהתאם. אבליות לפעמים מעיפים להשתמש בסימון חיבורי. בחבורות אם מדובר בקבוצה של מספרים, למשל, (שמוגדרות עליה מראש פעולות חיבור וכפל), יתכן שיהיה עלינו להבהיר האם מדובר בחבורה ביחס לחיבור או לכפל. תרגיל (*) הראה שהחבורות Z n כולן אבליות. 23

24 3.5. מכפלה ישרה חיצונית פרק 3. חבורות ותת חבורות תרגיל (*) הראה שהחבורות U n כולן אבליות. תרגיל (**) הראה שהחבורה הסימטרית S n אינה אבלית, אלא במקרים = n.1, 2 תרגיל (**) הראה שהחבורה הדיהדרלית D n אינה אבלית, אלא במקרים = n.1, 2 תרגיל (**) בחבורה מתקיים = 1 2 x לכל איבר. הוכח שהחבורה אבלית. תרגיל (*) הוכח: (xy) 2 = x 2 y 2 לכל x, y אם ורק אם החבורה אבלית. תרגיל (***) נסמן ב Φ n את התכונה x y : (xy) n = x n y n (שיכולה להתקיים או לא להתקיים בחבורה נתונה). התכונה Φ 1 מתקיימת תמיד, והתכונה Φ 2 שקולה לאבליות לפי תרגיל הוכח:.1 אם Φ n אז לכל x, y מתקיים.x n y n 1 = y n 1 x n 2. אם Φ n אז לכל x n(n 1) x, מתחלף עם כל אברי החבורה..3 אם n+2 Φ n Φ n+1 Φ אז החבורה אבלית. 3.5 מכפלה ישרה חיצונית הגדרה. אם G 1, G 2 חבורות, מגדירים על הקבוצה G 1 G 2 של כל הזוגות הסדורים פעולה לפי רכיבים, 2).(g 1, g 2 )(g 1, g 2) = (g 1 g 1, g 2 g החבורה המתקבלת היא המכפלה הישרה החיצונית של G. 1, G 2 בסעיף 6.2 נלמד גם מהי מכפלה ישרה פנימית (ונראה שלמעשה אין הבדל בין השתיים). 2 G 1 G היא חבורה. איבר היחידה הוא ) G2,(1 G1, 1 וההפכי של איבר תרגיל (*) (g.(g 1, g 2 ) 1 = נתון על ידי ) 1 1, g 1 2 תרגיל (*) ה"קומוטטיביות" וה"אסוציאטיביות" של מכפלה ישרה חיצונית: א..G H = H G ב. K).(G H) K = G (H תרגיל (**) מצא את כל לוחות הכפל האפשריים של חבורה מסדר 4. הראה שאלו בדיוק לוחות הכפל של Z 4 ושל.Z 2 Z 2.U 8 תרגיל (**) הראה ש = Z2 Z 2 24.D 2 תרגיל (**) = Z2 Z

25 3.6. תת חבורות פרק 3. חבורות ותת חבורות 3.6 תת חבורות תהי G חבורה. הגדרה תת קבוצה לא ריקה H G היא תת חבורה של G אם היא סגורה לכפל ולהיפוך, כלומר, לכל,x y H מתקיים xy H ו H x. 1 במקרה זה H עצמה היא חבורה (עם הכפל המצומצם מ G, ואותו איבר יחידה), מסמנים H. G תרגיל (*) תהח : G G G פעולה בינארית על חבורה למחצה G; פורמלית, זוהי קבוצה של שלשות סדורות.(x, y, x y) G G G הראה ש H) (H H היא פעולה בינארית מוגדרת היטב על תת הקבוצה H G אם ורק אם H סגורה לכפל. תרגיל (*) בכל חבורה G יש שתי תת חבורות,1. G תרגיל (*) אם,N H, H G אז.N G תרגיל (**) אם M G סגור לכפל (אבל לא בהכרח ביחס לפעולת ההיפוך), אז M נקרא תת מונויד של G. הוכח שכל תת מונויד של חבורה הוא בעל תכונת הצמצום משמאל. תרגיל (**) אם G חבורה סופית ו G H סגורה לכפל, אז H תת חבורה. תרגיל (**) אם N תת חבורה של,G ו M תת חבורה של,H אז N M תת חבורה של.G H 2. תן דוגמא לחבורה G H עם תת חבורה שאינה מתקבלת בצורה זו. H G 1 G 2 אז אם H, G 1, G 2 תת חבורות של.G תרגיל (**) תהיינה.H או G 2 H G 1 תרגיל (***) מצא דוגמא לתת חבורות H G 1 G 2 G 3 כך ש H אינה מוכלת בשום איחוד.G i G j הדרכה. קח.G = Z 2 Z 2 Z 2 25

26 פרק 3. חבורות ותת חבורות 3.6. תת חבורות 26

27 פרק 4 משפט לגרנז' לאחר שהצגנו את מושגי היסוד בפרק הקודם, נוכיח את משפט לגרנז', שהוא התוצאה החשובה הראשונה בתורת החבורות, ונפגוש כמה שימושים שלו. מושגים. יוצרים ותת החבורה הנוצרת. קוסט. מחזור, חילוף. סדר של איבר. משפט פרמה, משפט אוילר, שאריות ריבועיות. חבורה ציקלית. כפל של תת חבורות. 4.1 יוצרים של חבורה ותת החבורה הנוצרת תרגיל (*) נניח ש H 1, H 2 G תת חבורות. הוכח שהחיתוך H 1 H 2 גם הוא תת חבורה. תרגיל (*) נניח ש H 1,..., H n תת חבורות של חבורה.G הוכח שהחיתוך H 1 H n גם הוא תת חבורה. טענה החיתוך של משפחה כלשהי של תת חבורות של G הוא תת חבורה. ב'משפחה כלשהי' הכוונה היא למשפחה שאינה דווקא סופית או בת מניה. יתכן למשל שלכל מספר ממשי α R מותאמת תת חבורה H, α G ואז הטענה היא ש α R H α G. תרגיל (**) הוכח את הטענה. תהי X G תת קבוצה כלשהי של אברים בחבורה. תרגיל (**) הוכח שהחיתוך של כל תת החבורות של G המכילות את X הוא תת החבורה הקטנה ביותר המכילה את X (כלומר, זוהי תת חבורה המכילה את X, ומוכלת בכל תת חבורה אחרת המכילה את X). תרגיל (**) הוכח שהאוסף של כל המכפלות הסופיות ב G של אברים מ X או מ } X,X 1 = { x 1 : x הוא תת החבורה הקטנה ביותר המכילה את.X הגדרה תת החבורה שהוגדרה בכל אחד משני התרגילים הקודמים נקראת תת החבורה הנוצרת על ידי X, ומסמנים אותה ב X. אם X G, = אומרים ש X היא קבוצת יוצרים של G. 27

28 4.1. יוצרים של חבורה ותת החבורה הנוצרת פרק 4. משפט לגרנז' לכתיב X יש משמעות רק כאשר X היא תת קבוצה של חבורה ידועה G, המובת מן ההקשר. תרגיל (***) הוכח שלחבורה U 60 אין קבוצת יוצרים של שני אברים, ומצא קבוצת יוצרים עם שלושה אברים. תרגיל (*) תהי H G תת חבורה, ותהי X G תת קבוצה כלשהי. אז. X H אם ורק אם X H תרגיל (**) הוכח שתת החבורה V = (12)(34), (13)(24) S 4 איזומורפית ל.U 8 תרגיל (***) הוכח שתת החבורה (13) (1234), של S 4 איזומורפית ל.D 4 תרגיל (**) מצא את אברי תת החבורה של S 6 הנוצרת על ידי (263)(145) ו ( 15)(36 ). תרגיל (**) מצא את אברי תת החבורה S 8 (1526)(3847). (1324)(5768), תרגיל (**) זהה או תאר את החבורות הנוצרות על ידי קבוצות המטריצות בכל מקרה? ( החבורה ) מה סדר ( בפרט, ) הבאות..D, E 2 הוא השורש הרביעי של ;(1 i (כאן.E = i 0 0 i = 0 1 D ו 1 0 א. ( ) ( ) 3 1+ = ω הוא השורש השלישי של.(1 2 ) G = ω 0 0 ו ω 2 F = ב. B ו = A = תרגיל (***) זהה את החבורה הנוצרת על ידי.C = ; על ידי A ו יוצרים של S n הגדרה מחזור באורך 2 ב S n נקרא חילוף. כלומר, החילופים הם איברים מהצורה (j i). איבר 1 x בחבורה הוא (מסדר (2 אם = 1 2 x (ראה סעיף.(4.3 תרגיל (*) כל חילוף הוא איבר מסדר 2. תרגיל (*) הראה שלא כל איבר מסדר 2 ב n) (4 S n הוא חילוף. תרגיל (**) n S נוצרת על ידי כל החילופים.(ij) הדרכה. בדוק ש = t) (a 1... a.(a 1 a t ) (a 1 a 2 ) (1j). נוצרת על ידי כל החילופים S n תרגיל (**+)

29 משפט לגרנז' 4.2. קוסטים ומשפט לגרנז' פרק 4. תרגיל ( ***) S n נוצרת על ידי האברים 1) + i.i = 1,..., n 1,σ i = (i הראה ש 1 = i σ i σ j = σ j σ i,σ 2 אם > 1 j ) σ i σ i+1 σ i = σ i+1 σ i σ i+1, i זוהי 'הצגת 'Coxeter של החבורה הסימטרית). תרגיל (***) n S נוצרת על ידי החילוף (12) = τ והמחזור n).σ = (1 2 3 הדרכה. חשב את σ k τσ k ואת.σ j (τσ 1 ) j i τ(στ) i j σ j τ = והחילוף σ = (1 2 3 n 1) נוצרת על ידי המחזור S n תרגיל (***) (1 n) תרגיל ( ***) אם p ראשוני, כלשהו. S p נוצרת על ידי איבר כלשהו מסדר p וחילוף תרגיל (***) הפרך את הטענה הבאה: אם p ראשוני, S p נוצרת על ידי איבר כלשהו מסדר p ואיבר כלשהו מסדר 2. תרגיל (**) מצא את תת החבורה של S 4 הנוצרת על ידי כל המחזורים מהצורה,(abc) a, b, c שונים. תרגיל (**) מצא את תת החבורה של S 4 הנוצרת על ידי כל התמורות מהצורה,(ab)(cd) a, b, c, d שונים. תרגיל (**) מצא את הגודל של חבורות התמורות הבאות: S 5 (23)(45). (12), א. S 5 (345) (12), ב. S 6 (123456). (12), ג. תרגיל ( ***) יהי T עץ על הקודקודים, m...,2,1. לקשת המחברת את הקודקודים,i j מתאימים את החילוף (j,i). הוכח שמכפלת הקשתות על העץ, בכל סדר שיהיה, היא מחזור באורך m. 4.2 קוסטים ומשפט לגרנז' תהיינה G חבורה ו G H תת חבורה. לכל,x G אנו מסמנים H} Hx = {hx : h ו { H.xH = {xh : h הגדרה הקבוצות Hx נקראות קוסטים שמאליים של H, והקבוצות - xh קוסטים ימניים של H. נגדיר יחס שקילות על החבורה x H y :G אם.xy 1 H תרגיל (+*) הוכח שהיחס H הוא יחס שקילות. תרגיל (*) מחלקות השקילות של היחס H הן מהצורה.Hx הסק: כמחלקות שקילות, שתי מחלקות Hx, Hy הן או שוות או נחתכות באופן ריק (קל להוכיח זאת כמובן גם באופן ישיר). תרגיל (*+) Hy היא קבוצת האיברים x G שעבורם.y Hx 29

30 4.3. סדר של איבר פרק 4. משפט לגרנז' תרגיל (**) לכל, Hx = Hy,x, y G ובפרט H. Hx = תרגיל (*) אם G אבלית, אז Hg = gh לכל איבר g G ותת חבורה.H G הגדרה האינדקס (השמאלי) של H ב G הוא מספר הקוסטים השמאליים של H בחבורה. את האינדקס מסמנים ב.[G:H] תרגיל (+**) האינדקס הימני של H ב G הוא מספר הקוסטים הימניים. הוכח שהאינדקס הימני תמיד שווה לשמאלי. הדרכה. חשוב על הפונקציה Hx x 1 H (מדוע לא (?Hx xh משפט (משפט לגרנז') אם H G חבורות סופיות, אז H מחלק את G. תרגיל (**) הראה ש G,[G:H] H = והסק את משפט לגרנז'. תרגיל (+**) נסמן ב A 4 את תת החבורה של S 4 הכוללת, מלבד הזהות, את התמורות שיש להן נקודות שבת אחת, ואת אלו המחליפות שני זוגות של ערכים. הוכח שזו אכן תת חבורה. מה האינדקס שלה? תרגיל (**) נסמן ב V את תת החבורה של A 4 הכוללת, מלבד הזהות, את כתוב את הוכח שזו אכן תת חבורה. התמורות המחליפות שני זוגות של ערכים. הקוסטים הימניים והשמאליים שלה ב A. 4 של תת החבורות = H { והשמאליים ( הימניים ) ( את הקוסטים )} רשום { (**) ( תרגיל )} בחבורה.S 3 K = I, , I, ו תרגיל (**) מצא את הקוסטים של 31,41,49 בחבורה U. 120 (מה האינדקס שלה?) 4.3 סדר של איבר הגדרה יהי a. G הסדר של האיבר a הוא > 0 n הקטן ביותר שעבורו = 1 n a, אם קיים כזה; אחרת אומרים שהסדר הוא אינסוף. אנו מסמנים את הסדר ב ( o(a. תרגיל (*) אם a H G אז הסדר של a ב H שווה לסדר ב G. תרגיל (+*) הוכח שהסדר של a שווה לסדר של תת החבורה הנוצרת, a. תרגיל ( **) מצא את הסדר של כל אחד מהאיברים בחבורה D. 4 אחת ההבחנות השימושיות בתורת החבורות הסופיות: תרגיל (*) הסדר של איבר a G מחלק את סדר החבורה. תרגיל (*) בחבורה סופית, יש N כך ש 1 = N a לכל a. טענה = n x אם ורק אם.o(x) n 30

31 משפט לגרנז' 4.4. יישומים בתורת המספרים פרק 4. תרגיל (**) אם x, y G מתחלפים ו 1 = o(y)),(o(x), אז o(x)o(y).o(xy) = תרגיל ( ***) הסדר של (y,x) בחבורה G H הוא הכפולה המשותפת המינימלית.o(x)o(y) o(xy) ומצא הצבה מתאימה כדי להוכיח,o(xy) o(x)o(y) הדרכה. הראה ש.[o(x), o(y)] תרגיל (**) תהי } n G = {a 1,..., a חבורה אבלית. נסמן.b = a 1 a 2 a n א. הוכח: = 1 2.b ב. אם יש איבר יחיד מסדר 2, הוא שווה ל b. ד. בכל חבורה אבלית מסדר זוגי יש איבר מסדר 2. ג. אם יש יותר מאיבר אחד מסדר 2, אז = 1 b. רמז. חשוב על xy},1}.,x,y ה. אם G מסדר אי זוגי אז = 1 b. תרגיל (***) בחבורה מסדר זוגי יש איבר מסדר 2 (ראה משפט ). תרגיל (***) הוכח: בחבורה מסדר 2p יש איבר מסדר p. הדרכה. אם קיים איבר מסדר p או - 2p סיימנו. לכן נניח שכל האברים מסדר,1. 2 אבל אז, קח a b מסדר 2, והעזר בתרגיל כדי לקבל ש 2p 4. תרגיל ( ***) יהי p מספר ראשוני. הראה שמספר האברים מסדר p בחבורה.(p מתחלק ב ( 1 G הוכח ש,a U nm ו a הנציג של a ב.U n תרגיל (**) נניח,n m ויהיו.ord Unm (a) m ord Un (a) תרגיל (**) מצא את הסדר של המחזור ) t,(r 1 r ואת הסדר של = σ.n i הם מחזורים זרים מאורכים τ i ו,τ 1 τ u תרגיל (**) אין ב S 4 איבר מסדר ) 6 למרות ש 24.(6 תרגיל (**) מצא ב S 7 איבר מסדר,5.,6,7 10 למה אין איבר מסדר 8? 4.4 יישומים בתורת המספרים תרגיל (*) אם p ראשוני אז 1 p. U p = φ(p) = נזכיר ששדה הוא מבנה אלגברי F עם חיבור וכפל, שבו (0,+,F) חבורה אבלית, (1,,{0} F) חבורה אבלית, והכפל דיסטריבוטיבי ביחס לחיבור. תרגיל ( ***) אם p ראשוני, אז Z p (עם החיבור והכפל מודולו p) הוא שדה. תרגיל (+*) מצא את האברים מסדר 2 ב U. p משפט (משפט פרמה הקטן) אם p ראשוני, אז לכל a זר ל p, a. 1 p 1 (mod (p תרגיל (**) הוכח את המשפט, על ידי התבוננות בסדר של [a]. U p תרגיל (*) חשב את 11) (mod 48.6 תרגיל (**) לכל n שלם, 30).n 5 n (mod 31

32 4.4. יישומים בתורת המספרים פרק 4. משפט לגרנז' תרגיל (**) הראה שאם a זר ל 6, אז 24).a 2 1 (mod משפט (משפט אוילר) לכל,n אם a זר ל n,.a ϕ(n) 1 (mod n) תרגיל (*) הסבר כיצד משפט אוילר מכליל את משפט פרמה הקטן. תרגיל (**) לכל שני מספרים,a, n מתקיים 1) n.n ϕ(a תרגיל ( ***) לא קיים פתרון למשוואה 31).x 3 2 (mod פונקציית אוילר תרגיל (*+) אם p ראשוני, אז 1) (p.φ(p a ) = p a 1 תרגיל (***) אם,n m זרים אז φ(n)φ(m).φ(nm) = הדרכה. משפט השאריות הסיני. המספרים הזרים ל nm הם אלו שזרים ל n ול m, תרגיל משני התרגילים האחרונים מתקבלת הנוסחה φ(p α 1 1 pα t t ) = (p 1 1)p α (p t 1)p α t 1 t. תרגיל (*) חשב את φ(540).φ(1000), φ(480), תרגיל (**) אם n m אז.φ(n) φ(m) תרגיל (***) מצא את כל הערכים של n המקיימים 6 φ(n) בשתי דרכים; לפי הנוסחה ל,φ(n) ובדרך הבאה: הראה שאם p n אז 6 1 p. הסק ש U n 31 11, 13, 17, 19, 23, 29, ולכן 20.n מצא את המועמדים שיש לבדוק. n תרגיל (***+) הוכח ש = 0 כל הגורמים הראשוניים של n קטנים מ. מכיוון שיש אינסוף ראשוניים,. n.lim inf הדרכה. נניח ש,φ(n) m אז φ(n) תרגיל (***) בכל תת חבורה לא טריוויאלית של (p U p n ראשוני), סכום האיברים מתחלק ב p. n שאריות ריבועיות הגדרה יהי n מספר טבעי. מספר a (זר ל n ) נקרא שארית ריבועית מודולו n אם קיים x U n כך ש n).x 2 a (mod תרגיל (**) נניח ש m,n מספרים זרים. הראה ש a שארית ריבועית מודולו nm אם ורק אם הוא שארית ריבועית מודולו n וגם מודולו m. הדרכה. העזר במשפט השאריות הסיני, משפט ( ) a אם a הוא שארית ריבועית, ו p הגדרה אם p ראשוני, סימן לז'נדר מוגדר כ 1+ = ( ) 1 = אחרת. a p 32

33 משפט לגרנז' 4.4. יישומים בתורת המספרים פרק 4. הראה שאם p) x 2 y 2 (mod אז y ±x ( )( ) תרגיל (**) נניח ש p ראשוני..(mod p) ( ) ab. הדרכה. העזר בתרגיל p = a b p p כדי להראות שבדיוק מחצית מבין האברים ב p U הם שאריות ריבועיות. תרגיל (***) נניח ש p ראשוני, אז (. הדרכה. תרגיל a p ) = a p 1 תרגיל (**) נניח ש p ראשוני. 2 תרגיל (**) הראה ש 1 הוא שארית ריבועית מודולו הראשוני p אם ורק אם.(p = 2 (או p 1 (mod 4) ( a ) n = סימן יעקובי מוגדר כמכפלה,a Un ו,n = p α1 הגדרה עבור n איזוגי, pαt t 1 ( ) α1 ( ) αt a. p 1 a p t ( a, אבל n) תרגיל (**+) אם a Un הוא שארית ריבועית מודולו n אז +1 = ההיפך אינו בהכרח נכון בדיקת ראשוניות נתון מספר n. האם הוא ראשוני? בדיקת כל המחלקים הפוטנציאליים עד n (בפחות מזה אי אפשר להסתפק) היא תהליך מאד לא יעיל. יישום נכון של משפט לגרנז' לחבורת אוילר נותן מבחנים יעילים בהרבה. לפי משפט פרמה, אם n ראשוני, אז לכל a זר ל n מתקיים (n a. 1 n 1 (mod מכן נובע שאם (n a 1 n 1 (mod עבור a כלשהו, אז n אינו ראשוני. הסיבוכיות של ביצוע המבחן הפשוט הזה עבור a אקראי היא רק (n O(log 3 (תרגיל 4.5.3), והוא לוכד את רוב המספרים שאינם ראשוניים. עם זאת, יש מספרים n שאינם ראשוניים ובכל זאת מקיימים מספר כזה נקרא פסאודו ראשוני לפי פרמה ביחס ל a. a. 1 n 1 (mod (n תרגיל (**) הראה ש = 341 הוא פסאודו ראשוני לפי פרמה ביחס ל 2 (ואינו ראשוני). תרגיל ( ***) הראה ש 561 פסאודו ראשוני לפי פרמה ביחס לכל a. U 561 מספר כזה נקרא מספר קרמייקל (ראה תרגיל ) a n 1 מספר איזוגי n, שאינו ראשוני, נקרא פסאודו ראשוני לפי אוילר ביחס ל a אם 2.±1 (mod n) תרגיל (+**) כל פסאודו ראשוני לפי אוילר הוא פסאודו ראשוני לפי פרמה. תרגיל ( ***) = 1729 הוא פסאודו ראשוני לפי אוילר, ביחס לכל.a יש אלגוריתם, מבוסס על 'משפט ההיפוך הריבועי של גאוס', המאפשר חישוב מהיר של סימן יעקובי (הגדרה ). אלגוריתם זה הופך את ההגדרה הבאה לאפקטיבית: המספר.a n 1 2 ( a n) (mod (n אם הוא פסאודו ראשוני לפי יעקובי ביחס ל a n תרגיל (+*) כל פסאודו ראשוני לפי יעקובי הוא פסאודו ראשוני לפי אוילר. למרות שיש מספרים שהם פסאודו ראשוניים לפי יעקובי ביחס לערכים מסויימים של a, אין אף מספר שהוא פסאודו ראשוני כזה ביחס לכל a (כלומר, אין אנלוג יעקובי של מספרי 1 n a למספיק ערכים של a, הוא 2 ( a n) קרמייקל). מכאן שאם מספר n מקיים (n (mod מוכרח להיות ראשוני. עובדה זו היא הבסיס ל''מבחן סולובי שטרסן'' לבדיקת ראשוניות. 33

34 4.5. שימושים להצפנה פרק 4. משפט לגרנז' 4.5 שימושים להצפנה סעיף זה מניח היכרות, ולו שטחית, עם מושג הסיבוכיות. הצפנה, אחד הכלים החשובים ביותר בתקשורת המודרנית, היא הסתרה של מידע סודי, באופן שרק בעלי ה'מפתח' יכולים לקרוא את הסוד. יש תרחישים רבים ופרוטוקולים לאינספור, המסתמכים על הקושי האלגוריתמי לפתור בעיות מסויימות בתורת המספרים. תרגיל (**) הראה שהסיבוכיות של ביצוע פעולת חיבור היא ליניארית באורך הקלט, ושהסיבוכיות של פעולת הכפל היא (לכל היותר) ריבועית. תרגיל (**) הראה שהסיבוכיות של פעולת הרדוקציה של מספר מודולו n היא ליניארית באורך הקלט. הראה שהסיבוכיות של פעולות חיבור וכפל מודולריות אינה גדולה משל אותן פעולות כשלעצמן. בפעולת העלאה בחזקה יש בעיה, משום שהתוצאה עלולה להיות ארוכה מאד ביחס לקלט. כאן באה לעזרתנו האריתמטיקה המודולרית. תרגיל (**) הראה שהסיבוכיות של פעולת ההעלאה בחזקה מודולו n היא (לכל היותר) ממעלה שלישית באורך הקלט. תרגיל (***) מהי הסיבוכיות של מציאת ההפכי בחבורת אוילר? (ראה תרגיל ( RSA הצפנה בשיטת RSA (על שם הממציאים ריבסט, שמיר ואלדמן) נועדה לאפשר לכל אדם להצפין, אבל רק לבעל הסוד - לפענח. אם שני צדדים מבקשים לשוחח באופן סודי, על כל אחד מהם לממש את השיטה על המסרים המיועדים אליו. הגדרה בהצפנה בשיטת,RSA בעל הסוד בוחר שני מספרים ראשוניים גדולים,p, q ומפרסם את המכפלה n = pq ומספר נוסף d (זר ל n ). כדי להצפין x, U n יש לחשב את y. = x d כדי לפענח, בעל הסוד מוצא (פעם אחת, באמצעות תרגיל ( את ההפכי,e = d 1 U n ומחשב.x = y e תרגיל (**) הוכח שפעולת הפענוח בשיטת RSA אכן מחזירה את הסוד x. אחת הבעיות הקלאסיות הנחשבות לקשות היא בעיית הפירוק: למצוא את הפירוק של מספר נתון n לגורמיו הראשוניים. אלגוריתמים של בית ספר מראים שהסיבוכיות אינה עולה על (n )O. את הסיבוכיות הטובה ביותר משיגות שיטות נפה מתוחכמות:.c = 4 עבור 3 2/3,O(e c log(n)1/3 log log(n) 2/3 ) תרגיל (+**) הראה שעבור מספרים מהצורה n, = pq כאשר,p q ראשוניים, בעיית הפירוק שקולה מבחינה אלגוריתמית לבעיה של חישוב פונקציית אוילר = φ(n).(p 1)(q 1) תרגיל (+**) הסבר כיצד ידיעת e (בנוסף לידיעת,d) n בשיטת RSA מאפשרת למצוא את.φ(n) אם כך, היכולת לפענח ''לפי הספר'' בשיטת RSA שקולה ליכולת לחשב את,φ(n) השקולה ליכולת לפרק את n. אם מאמינים שקשה לפרק את n, זוהי ראיה לבטיחות השיטה. עם זאת יש להעיר שאיש טרם הוכיח שהיכולת לפענח הצפנה זו שקולה ליכולת לפרק (משום שאולי אפשר למצוא את x מידיעת x d בלי לדעת את e). 34

35 משפט לגרנז' 4.6. חבורות ציקליות פרק שיטת רבין נציג כעת את שיטת ההצפנה שפיתח מיכאל רבין, והקרויה שיטת רבין על שמו. בהקשר זה, U pq (תרגיל.( טוב לדעת שלכל שני ראשוניים שונים = Up U q,p, q ( ).z p+1 תרגיל (**) יהי p ראשוני. הראה שלכל = z,z U p 2 z p תרגיל (**) נניח ש ( 4 p 3 (mod ראשוני. הראה שלכל,x U p בדיוק אחד מבין המספרים x± הוא שארית ריבועית. הדרכה. תרגילים ו תרגיל (**+) יהי 4) p 3 (mod ראשוני. נניח ש.y = x 2 U p הראה ש 1+p היא הפעולה של הוצאת שורש מן הערך 4 1+p y. כלומר, העלאה בחזקת 4 = ±x x± שיש לו שורש (בהמשך לתרגיל ). תרגיל מראה שאם (4 p, 3 (mod אפשר, בקלות יחסית, לחשב שורשים ריבועיים מודולו p. כמו שיטת,RSA שיטת רבין נועדה לאפשר לכל אדם להצפין, אבל רק לבעל הסוד - לפענח. נציג כאן גרסה מפושטת, שבה הפענוח אינו שלם. הגדרה בהצפנה בשיטת רבין, בעל הסוד בוחר שני מספרים ראשוניים גדולים,p q המקיימים.y = יש לחשב את x 2,x U n כדי להצפין.n = pq ומפרסם את המכפלה,p, q 3 (mod 4) q+1,b = y ומרכיב בעזרת משפט 4 (mod ו ( q a = y p+1 כדי לפענח, בעל הסוד מחשב את (p (mod 4 השאריות הסיני את ארבעת המספרים מודולו n = pq השקולים ל ( p a± (mod ול ( q b±. (mod תרגיל (**) הראה שאחד הערכים שקיבל המפענח בשיטת רבין שווה לערך המוצפן x. תרגיל (***) הראה שיריב המסוגל לחשב מתוך x 2 U n את ארבעת הערכים שמקבל בעל הסוד בשיטת רבין, כאשר n, = pq מסוגל לפרק בקלות את n לגורמיו הראשוניים. התרגיל האחרון (בהתאמות הנדרשות לכך שלא תיארנו כאן את השיטה במלואה) מראה שהדרך היחידה לפענח, באופן שיטתי, סודות המוצפנים בשיטת רבין, היא לפרק את המספר n = pq לגורמים. 4.6 חבורות ציקליות הגדרה חבורה הנוצרת על ידי איבר יחיד נקראת חבורה ציקלית. במלים אחרות, חבורה G היא ציקלית אם יש איבר x G כך שכל איבר בחבורה הוא חזקה של x. כל חבורה מכילה תת חבורות ציקליות - אלו הנוצרות על ידי איברים בודדים בחבורה. תרגיל (**) כל חבורה מסדר ראשוני היא ציקלית. תרגיל (*) הוכח שחבורה ציקלית היא אבלית. תרגיל (+*) הוכח שחבורה מסדר n היא ציקלית אם ורק אם יש בה איבר מסדר.n תרגיל (**) הוכח ש U 9 ו U 11 ציקליות, וש U 12 ו U 16 אינן ציקליות. 35

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur

פתרון תרגיל מרחבים וקטורים. x = s t ולכן. ur uur נסמן, ur uur לכן U הוא. ur uur. ur uur פתרון תרגיל --- 5 מרחבים וקטורים דוגמאות למרחבים וקטורים שונים מושגים בסיסיים: תת מרחב צירוף לינארי x+ y+ z = : R ) בכל סעיף בדקו האם הוא תת מרחב של א } = z = {( x y z) R x+ y+ הוא אוסף הפתרונות של המערכת

Διαβάστε περισσότερα

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם

שדות תזכורת: פולינום ממעלה 2 או 3 מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה. שקיימים 5 מספרים שלמים שונים , ראשוני. שעבורם תזכורת: פולינום ממעלה או מעל שדה הוא פריק אם ורק אם יש לו שורש בשדה p f ( m i ) = p m1 m5 תרגיל: נתון עבור x] f ( x) Z[ ראשוני שקיימים 5 מספרים שלמים שונים שעבורם p x f ( x ) f ( ) = נניח בשלילה ש הוא

Διαβάστε περισσότερα

gcd 24,15 = 3 3 =

gcd 24,15 = 3 3 = מחלק משותף מקסימאלי משפט אם gcd a, b = g Z אז קיימים x, y שלמים כך ש.g = xa + yb במלים אחרות, אם ה כך ש.gcd a, b = xa + yb gcd,a b של שני משתנים הוא מספר שלם, אז קיימים שני מקדמים שלמים כאלה gcd 4,15 =

Διαβάστε περισσότερα

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד

פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשעד פתרון תרגיל 5 מבוא ללוגיקה ותורת הקבוצות, סתיו תשע"ד 1. לכל אחת מן הפונקציות הבאות, קבעו אם היא חח"ע ואם היא על (הקבוצה המתאימה) (א) 3} {1, 2, 3} {1, 2, : f כאשר 1 } 1, 3, 3, 3, { 2, = f לא חח"ע: לדוגמה

Διαβάστε περισσότερα

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור

לדוגמה: במפורט: x C. ,a,7 ו- 13. כלומר בקיצור הרצאה מס' 1. תורת הקבוצות. מושגי יסוד בתורת הקבוצות.. 1.1 הקבוצה ואיברי הקבוצות. המושג קבוצה הוא מושג בסיסי במתמטיקה. אין מושגים בסיסים יותר, אשר באמצעותם הגדרתו מתאפשרת. הניסיון והאינטואיציה עוזרים להבין

Διαβάστε περισσότερα

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( )

פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד ... ( ) ( ) ( ) = L. uuruuruur. { v,v,v ( ) ( ) ( ) ( ) פתרון תרגיל 8. מרחבים וקטורים פרישה, תלות \ אי-תלות לינארית, בסיס ומימד a d U c M ( יהי b (R) a b e ל (R M ( (אין צורך להוכיח). מצאו קבוצה פורשת ל. U בדקו ש - U מהווה תת מרחב ש a d U M (R) Sp,,, c a e

Διαβάστε περισσότερα

מבוא לתורת החבורות עוזי וישנה

מבוא לתורת החבורות עוזי וישנה מבוא לתורת החבורות עוזי וישנה 12 בפברואר 2017 מבוא לתורת החבורות מהדורה 3.931 הקדמה. חוברת זו ערוכה ומסודרת לפי תוכנית הלימודים בקורס "אלגברה מופשטת 1" לתלמידי מתמטיקה, 88-211, באוניברסיטת בר אילן. הקורס

Διαβάστε περισσότερα

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים

צעד ראשון להצטיינות מבוא: קבוצות מיוחדות של מספרים ממשיים מבוא: קבוצות מיוחדות של מספרים ממשיים קבוצות של מספרים ממשיים צעד ראשון להצטיינות קבוצה היא אוסף של עצמים הנקראים האיברים של הקבוצה אנו נתמקד בקבוצות של מספרים ממשיים בדרך כלל מסמנים את הקבוצה באות גדולה

Διαβάστε περισσότερα

חורף תש''ע פתרון בחינה סופית מועד א'

חורף תש''ע פתרון בחינה סופית מועד א' מד''ח 4 - חורף תש''ע פתרון בחינה סופית מועד א' ( u) u u u < < שאלה : נתונה המד''ח הבאה: א) ב) ג) לכל אחד מן התנאים המצורפים בדקו האם קיים פתרון יחיד אינסוף פתרונות או אף פתרון אם קיים פתרון אחד או יותר

Διαβάστε περισσότερα

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה.

פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. פתרון תרגיל 6 ממשוואות למבנים אלגברה למדעי ההוראה. 16 במאי 2010 נסמן את מחלקת הצמידות של איבר בחבורה G על ידי } g.[] { y : g G, y g כעת נניח כי [y] [] עבור שני איברים, y G ונוכיח כי [y].[] מאחר והחיתוך

Διαβάστε περισσότερα

Logic and Set Theory for Comp. Sci.

Logic and Set Theory for Comp. Sci. 234293 - Logic and Set Theory for Comp. Sci. Spring 2008 Moed A Final [partial] solution Slava Koyfman, 2009. 1 שאלה 1 לא נכון. דוגמא נגדית מפורשת: יהיו } 2,(p 1 p 2 ) (p 2 p 1 ).Σ 2 = {p 2 p 1 },Σ 1 =

Διαβάστε περισσότερα

תרגול מס' 1 3 בנובמבר 2012

תרגול מס' 1 3 בנובמבר 2012 תרגול מס' 1 3 בנובמבר 2012 1 מערכת המספרים השלמים בשיעור הקרוב אנו נעסוק בקבוצת המספרים השלמים Z עם הפעולות (+) ו ( ), ויחס סדר (>) או ( ). כל התכונות הרגילות והידועות של השלמים מתקיימות: חוק הקיבוץ (אסוציאטיביות),

Διαβάστε περισσότερα

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות

תורת המספרים 1 פירוק לגורמים ראשוניים סיכום הגדרות טענות ומשפטים אביב הגדרות 1.2 טענות תורת המספרים סיכום הגדרות טענות ומשפטים אביב 017 1 פירוק לגורמים ראשוניים 1.1 הגדרות חוג A C נקראת חוג אם: היא מכילה את 0 ואת 1 סגורה תחת חיבור, חיסור, וכפל הפיך A חוג. a A נקרא הפיך אם 0,a.a 1 A קבוצת

Διαβάστε περισσότερα

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז

פתרון תרגיל בית 6 מבוא לתורת החבורות סמסטר א תשע ז פתרון תרגיל בית 6 מבוא לתורת החבורות 88-211 סמסטר א תשע ז הוראות בהגשת הפתרון יש לרשום שם מלא, מספר ת ז ומספר קבוצת תרגול. תאריך הגשת התרגיל הוא בתרגול בשבוע המתחיל בתאריך ג טבת ה תשע ז, 1.1.2017. שאלות

Διαβάστε περισσότερα

ל הזכויות שמורות לדפנה וסטרייך

ל הזכויות שמורות לדפנה וסטרייך מרובע שכל זוג צלעות נגדיות בו שוות זו לזו נקרא h באיור שלעיל, הצלעות ו- הן צלעות נגדיות ומתקיים, וכן הצלעות ו- הן צלעות נגדיות ומתקיים. תכונות ה כל שתי זוויות נגדיות שוות זו לזו. 1. כל שתי צלעות נגדיות

Διαβάστε περισσότερα

( )( ) ( ) f : B C היא פונקציה חח"ע ועל מכיוון שהיא מוגדרת ע"י. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חח"ע אז ועל פי הגדרת

( )( ) ( ) f : B C היא פונקציה חחע ועל מכיוון שהיא מוגדרת עי. מכיוון ש f היא פונקציהאז )) 2 ( ( = ) ( ( )) היא פונקציה חחע אז ועל פי הגדרת הרצאה 7 יהיו :, : C פונקציות, אז : C חח"ע ו חח"ע,אז א אם על ו על,אז ב אם ( על פי הגדרת ההרכבה )( x ) = ( )( x x, כךש ) x א יהיו = ( x ) x חח"ע נקבל ש מכיוון ש חח"ע נקבל ש מכיוון ש ( b) = c כך ש b ( ) (

Διαβάστε περισσότερα

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V )

c ארזים 26 בינואר משפט ברנסייד פתירה. Cl (z) = G / Cent (z) = q b r 2 הצגות ממשיות V = V 0 R C אזי מקבלים הצגה מרוכבת G GL R (V 0 ) GL C (V ) הצגות של חבורות סופיות c ארזים 6 בינואר 017 1 משפט ברנסייד משפט 1.1 ברנסייד) יהיו p, q ראשוניים. תהי G חבורה מסדר.a, b 0,p a q b אזי G פתירה. הוכחה: באינדוקציה על G. אפשר להניח כי > 1 G. נבחר תת חבורה

Διαβάστε περισσότερα

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי

הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב פרופ' יעקב ורשבסקי הרצאה תרגילים סמינר תורת המספרים, סמסטר אביב 2011 2010 פרופ' יעקב ורשבסקי אסף כץ 15//11 1 סמל לזנדר יהי מספר שלם קבוע, ו K שדה גלובלי המכיל את חבורת שורשי היחידה מסדר µ. תהי S קבוצת הראשוניים הארכימדיים

Διαβάστε περισσότερα

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012)

יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 6 נושא: תחשיב הפסוקים: הפונקציה,val גרירה לוגית, שקילות לוגית 1. כיתבו טבלאות אמת לפסוקים הבאים: (ג) r)).((p q) r) ((p r) (q p q r (p

Διαβάστε περισσότερα

תרגיל 13 משפטי רול ולגראנז הערות

תרגיל 13 משפטי רול ולגראנז הערות Mthemtics, Summer 20 / Exercise 3 Notes תרגיל 3 משפטי רול ולגראנז הערות. האם קיים פתרון למשוואה + x e x = בקרן )?(0, (רמז: ביחרו x,f (x) = e x הניחו שיש פתרון בקרן, השתמשו במשפט רול והגיעו לסתירה!) פתרון

Διαβάστε περισσότερα

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים.

קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. א{ www.sikumuna.co.il מהי קבוצה? קבוצה היא שם כללי לתיאור אוסף כלשהו של איברים. קבוצה היא מושג יסודי במתמטיקה.התיאור האינטואיטיבי של קבוצה הוא אוסף של עצמים כלשהם. העצמים הנמצאים בקבוצה הם איברי הקבוצה.

Διαβάστε περισσότερα

גבול ורציפות של פונקציה סקלרית שאלות נוספות

גבול ורציפות של פונקציה סקלרית שאלות נוספות 08 005 שאלה גבול ורציפות של פונקציה סקלרית שאלות נוספות f ( ) f ( ) g( ) f ( ) ו- lim f ( ) ו- ( ) (00) lim ( ) (00) f ( בסביבת הנקודה (00) ) נתון: מצאו ) lim g( ( ) (00) ננסה להיעזר בכלל הסנדביץ לשם כך

Διαβάστε περισσότερα

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות

דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות יסודות לוגיקה ותורת הקבוצות למערכות מידע (סמסטר ב 2012) דף פתרונות 7 נושא: תחשיב הפסוקים: צורה דיסיונקטיבית נורמלית, מערכת קשרים שלמה, עקביות 1. מצאו צורה דיסיונקטיבית נורמלית קנונית לפסוקים הבאים: (ג)

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים:

לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשעו ( ) ... חלק ראשון: שאלות שאינן להגשה נפריד למקרים: לוגיקה ותורת הקבוצות פתרון תרגיל בית 8 חורף תשע"ו ( 2016 2015 )............................................................................................................. חלק ראשון: שאלות שאינן להגשה.1

Διαβάστε περισσότερα

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m

[ ] Observability, Controllability תרגול 6. ( t) t t קונטרולבילית H למימדים!!) והאובז' דוגמא: x. נשתמש בעובדה ש ) SS rank( S) = rank( עבור מטריצה m Observabiliy, Conrollabiliy תרגול 6 אובזרווביליות אם בכל רגע ניתן לשחזר את ( (ומכאן גם את המצב לאורך זמן, מתוך ידיעת הכניסה והיציאה עד לרגע, וזה עבור כל צמד כניסה יציאה, אז המערכת אובזרוובילית. קונטרולביליות

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעב (2012) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ב (2012) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

תרגול פעולות מומצאות 3

תרגול פעולות מומצאות 3 תרגול פעולות מומצאות. ^ = ^ הפעולה החשבונית סמן את הביטוי הגדול ביותר:. ^ ^ ^ π ^ הפעולה החשבונית c) #(,, מחשבת את ממוצע המספרים בסוגריים.. מהי תוצאת הפעולה (.7,.0,.)#....0 הפעולה החשבונית משמשת חנות גדולה

Διαβάστε περισσότερα

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 אבי אלון, תומר באואר וגיא בלשר ינואר 2016, גרסה 0.22 אוניברסיטת בר אילן סמסטר א תשע ו תוכן העניינים 3 מבוא.............................. 3 מבוא לתורת

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 5

מתמטיקה בדידה תרגול מס' 5 מתמטיקה בדידה תרגול מס' 5 נושאי התרגול: פונקציות 1 פונקציות הגדרה 1.1 פונקציה f מ A (התחום) ל B (הטווח) היא קבוצה חלקית של A B המקיימת שלכל a A קיים b B יחיד כך ש. a, b f a A.f (a) = ιb B. a, b f או, בסימון

Διαβάστε περισσότερα

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5

מבנים אלגבריים למדעי המחשב מערכי תרגול קורס פברואר 2017, גרסה 1.5 מבנים אלגבריים למדעי המחשב מערכי תרגול קורס 89-214 פברואר 2017, גרסה 1.5 אוניברסיטת בר אילן סמסטר א תשע ז תוכן העניינים 3 מבוא.............................. 4 מבוא לתורת המספרים................... 1 8

Διαβάστε περισσότερα

מבוא לחוגים ומודולים עוזי וישנה

מבוא לחוגים ומודולים עוזי וישנה מבוא לחוגים ומודולים עוזי וישנה 25 באוקטובר 2015 מבוא לחוגים ומודולים מהדורה 1.311 הקדמה. תורת החוגים עשירה בשיטות ורעיונות, וחובקת דוגמאות מכל תחומי המתמטיקה. קורס ראשון בתחום מוגבל, מטבע הדברים, למושגים

Διαβάστε περισσότερα

co ארזים 3 במרץ 2016

co ארזים 3 במרץ 2016 אלגברה לינארית 2 א co ארזים 3 במרץ 2016 ניזכר שהגדרנו ווקטורים וערכים עצמיים של מטריצות, והראינו כי זהו מקרה פרטי של ההגדרות עבור טרנספורמציות. לכן כל המשפטים והמסקנות שהוכחנו לגבי טרנספורמציות תקפים גם

Διαβάστε περισσότερα

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק

brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק יום א 14 : 00 15 : 00 בניין 605 חדר 103 http://u.cs.biu.ac.il/ brookal/logic.html לוגיקה מתמטית תרגיל אלון ברוק 29/11/2017 1 הגדרת קבוצת הנוסחאות הבנויות היטב באינדוקציה הגדרה : קבוצת הנוסחאות הבנויות

Διαβάστε περισσότερα

אלגברה ליניארית (1) - תרגיל 6

אלגברה ליניארית (1) - תרגיל 6 אלגברה ליניארית (1) - תרגיל 6 התרגיל להגשה עד יום חמישי (12.12.14) בשעה 16:00 בתא המתאים בבניין מתמטיקה. נא לא לשכוח פתקית סימון. 1. עבור כל אחד מתת המרחבים הבאים, מצאו בסיס ואת המימד: (א) 3)} (0, 6, 3,,

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)

לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשעו (2016) לוגיקה ותורת הקבוצות פתרון תרגיל בית 4 אביב תשע"ו (2016)............................................................................................................. חלק ראשון: שאלות שאינן להגשה 1. עבור

Διαβάστε περισσότερα

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx

I. גבולות. x 0. מתקיים L < ε. lim אם ורק אם. ( x) = 1. lim = 1. lim. x x ( ) הפונקציה נגזרות Δ 0. x Δx דפי נוסחאות I גבולות נאמר כי כך שלכל δ קיים > ε לכל > lim ( ) L המקיים ( ) מתקיים L < ε הגדרת הגבול : < < δ lim ( ) lim ורק ( ) משפט הכריך (סנדוויץ') : תהיינה ( ( ( )g ( )h פונקציות המוגדרות בסביבה נקובה

Διαβάστε περισσότερα

סדרות - תרגילים הכנה לבגרות 5 יח"ל

סדרות - תרגילים הכנה לבגרות 5 יחל סדרות - הכנה לבגרות 5 יח"ל 5 יח"ל סדרות - הכנה לבגרות איברים ראשונים בסדרה) ) S מסמן סכום תרגיל S0 S 5, S6 בסדרה הנדסית נתון: 89 מצא את האיבר הראשון של הסדרה תרגיל גוף ראשון, בשנייה הראשונה לתנועתו עבר

Διαβάστε περισσότερα

אלגברה מודרנית פתרון שיעורי בית 6

אלגברה מודרנית פתרון שיעורי בית 6 אלגברה מודרנית פתרון שיעורי בית 6 15 בינואר 016 1. יהי F שדה ויהיו q(x) p(x), שני פולינומים מעל F. מצאו פולינומים R(x) S(x), כך שמתקיים R(x),p(x) = S(x)q(x) + כאשר deg(q),deg(r) < עבור המקרים הבאים: (תזכורת:

Διαβάστε περισσότερα

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשע"ב זהויות טריגונומטריות

תרגול 1 חזרה טורי פורייה והתמרות אינטגרליות חורף תשעב זהויות טריגונומטריות תרגול חזרה זהויות טריגונומטריות si π α) si α π α) α si π π ), Z si α π α) t α cot π α) t α si α cot α α α si α si α + α siα ± β) si α β ± α si β α ± β) α β si α si β si α si α α α α si α si α α α + α si

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר

לוגיקה ותורת הקבוצות מבחן סופי אביב תשעד (2014) דפי עזר לוגיקה ותורת הקבוצות מבחן סופי אביב תשע"ד (2014) דפי עזר תורת הקבוצות: סימונים.N + = N \ {0} קבוצת המספרים הטבעיים; N Z קבוצת המספרים השלמים. Q קבוצת המספרים הרציונליים. R קבוצת המספרים הממשיים. הרכבת

Διαβάστε περισσότερα

x a x n D f (iii) x n a ,Cauchy

x a x n D f (iii) x n a ,Cauchy גבולות ורציפות גבול של פונקציה בנקודה הגדרה: קבוצה אשר מכילה קטע פתוח שמכיל את a תקרא סביבה של a. קבוצה אשר מכילה קטע פתוח שמכיל את a אך לא מכילה את a עצמו תקרא סביבה מנוקבת של a. יהו a R ו f פונקציה מוגדרת

Διαβάστε περισσότερα

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה.

פתרונות , כך שאי השוויון המבוקש הוא ברור מאליו ולכן גם קודמו תקף ובכך מוכחת המונוטוניות העולה של הסדרה הנתונה. בחינת סיווג במתמטיקה.9.017 פתרונות.1 סדרת מספרים ממשיים } n {a נקראת מונוטונית עולה אם לכל n 1 מתקיים n+1.a n a האם הסדרה {n a} n = n היא מונוטונית עולה? הוכיחו תשובתכם. הסדרה } n a} היא אכן מונוטונית

Διαβάστε περισσότερα

תורת הקבוצות תרגיל בית 2 פתרונות

תורת הקבוצות תרגיל בית 2 פתרונות תורת הקבוצות תרגיל בית 2 פתרונות חיים שרגא רוזנר כ"ה בניסן, תשע"ה תזכורות תקציר איזומורפיזם סדר, רישא, טרנזיטיביות, סודרים, השוואת סודרים, סודר עוקב, סודר גבולי. 1. טרנזיטיבות וסודרים קבוצה A היא טרנזיטיבית

Διαβάστε περισσότερα

מבוא לחוגים ומודולים עוזי וישנה

מבוא לחוגים ומודולים עוזי וישנה מבוא לחוגים ומודולים עוזי וישנה 16 במרץ 2017 מבוא לחוגים ומודולים מהדורה 1.342 הקדמה. תורת החוגים עשירה בשיטות ורעיונות, וחובקת דוגמאות מכל תחומי המתמטיקה. קורס ראשון בתחום מוגבל, מטבע הדברים, למושגים

Διαβάστε περισσότερα

תרגיל 7 פונקציות טריגונומטריות הערות

תרגיל 7 פונקציות טריגונומטריות הערות תרגיל 7 פונקציות טריגונומטריות הערות. פתרו את המשוואות הבאות. לא מספיק למצוא פתרון אחד יש למצוא את כולם! sin ( π (א) = x sin (ב) = x cos (ג) = x tan (ד) = x) (ה) = tan x (ו) = 0 x sin (x) + sin (ז) 3 =

Διαβάστε περισσότερα

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ

משוואות רקורסיביות רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים. למשל: יונתן יניב, דוד וייץ משוואות רקורסיביות הגדרה: רקורסיה זו משוואה או אי שוויון אשר מתארת פונקציה בעזרת ערכי הפונקציה על ארגומנטים קטנים למשל: T = Θ 1 if = 1 T + Θ if > 1 יונתן יניב, דוד וייץ 1 דוגמא נסתכל על האלגוריתם הבא למציאת

Διαβάστε περισσότερα

אלגברה לינארית (1) - פתרון תרגיל 11

אלגברה לינארית (1) - פתרון תרגיל 11 אלגברה לינארית ( - פתרון תרגיל דרגו את המטריצות הבאות לפי אלגוריתם הדירוג של גאוס (א R R4 R R4 R=R+R R 3=R 3+R R=R+R R 3=R 3+R 9 4 3 7 (ב 9 4 3 7 7 4 3 9 4 3 4 R 3 R R3=R3 R R 4=R 4 R 7 4 3 9 7 4 3 8 6

Διαβάστε περισσότερα

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית,

תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס תורת הקבוצות (80200) באוניברסיטה העברית, תורת הקבוצות יובל קפלן סיכום הרצאות פרופ ארז לפיד בקורס "תורת הקבוצות" (80200) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו. סודר באמצעות L

Διαβάστε περισσότερα

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד.

חידה לחימום. כתבו תכappleית מחשב, המקבלת כקלט את M ו- N, מחליטה האם ברצוappleה להיות השחקן הפותח או השחקן השappleי, ותשחק כך שהיא תappleצח תמיד. חידה לחימום ( M ש- N > (כך מספרים טבעיים Mו- N שappleי appleתוappleים בעלי אותה הזוגיות (שappleיהם זוגיים או שappleיהם אי - זוגיים). המספרים הטבעיים מ- Mעד Nמסודרים בשורה, ושappleי שחקappleים משחקים במשחק.

Διαβάστε περισσότερα

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A )

1 תוחלת מותנה. c ארזים 3 במאי G מדיד לפי Y.1 E (X1 A ) = E (Y 1 A ) הסתברות למתמטיקאים c ארזים 3 במאי 2017 1 תוחלת מותנה הגדרה 1.1 לכל משתנה מקרי X אינטגרבילית ותת סיגמא אלגברה G F קיים משתנה מקרי G) Y := E (X המקיים: E (X1 A ) = E (Y 1 A ).G מדיד לפי Y.1.E Y

Διαβάστε περισσότερα

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח.

טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של. נקבל מחד חד הערכיות כי בהכרח. 1 תשע'א תירגול 8 אלגברה לינארית 1 טענה חשובה : העתקה לינארית הינה חד חד ערכית האפס ב- הוא הוקטור היחיד שמועתק לוקטור אפס של וקטור אם הוכחה: חד חד ערכית ויהי כך ש מכיוון שגם נקבל מחד חד הערכיות כי בהכרח

Διαβάστε περισσότερα

{ : Halts on every input}

{ : Halts on every input} אוטומטים - תרגול 13: רדוקציות, משפט רייס וחזרה למבחן E תכונה תכונה הינה אוסף השפות מעל.(property המקיימות תנאים מסוימים (תכונה במובן של Σ תכונה לא טריביאלית: תכונה היא תכונה לא טריוויאלית אם היא מקיימת:.

Διαβάστε περισσότερα

3-9 - a < x < a, a < x < a

3-9 - a < x < a, a < x < a 1 עמוד 59, שאלהמס', 4 סעיףג' תיקוני הקלדה שאלון 806 צריך להיות : ג. מצאאתמקומושלאיברבסדרהזו, שקטןב- 5 מסכוםכלהאיבריםשלפניו. עמוד 147, שאלהמס' 45 ישלמחוקאתהשאלה (מופיעהפעמיים) עמוד 184, שאלהמס', 9 סעיףב',תשובה.

Διαβάστε περισσότερα

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin(

= 2. + sin(240 ) = = 3 ( tan(α) = 5 2 = sin(α) = sin(α) = 5. os(α) = + c ot(α) = π)) sin( 60 ) sin( 60 ) sin( א. s in(0 c os(0 s in(60 c os(0 s in(0 c os(0 s in(0 c os(0 s in(0 0 s in(70 מתאים לזהות של cos(θsin(φ : s in(θ φ s in(θcos(φ sin ( π cot ( π cos ( 4πtan ( 4π sin ( π cos ( π sin ( π cos ( 4π sin ( 4π

Διαβάστε περισσότερα

תרגול מס' 6 פתרון מערכת משוואות ליניארית

תרגול מס' 6 פתרון מערכת משוואות ליניארית אנליזה נומרית 0211 סתיו - תרגול מס' 6 פתרון מערכת משוואות ליניארית נרצה לפתור את מערכת המשוואות יהי פתרון מקורב של נגדיר את השארית: ואת השגיאה: שאלה 1: נתונה מערכת המשוואות הבאה: הערך את השגיאה היחסית

Διαβάστε περισσότερα

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1

מתכנס בהחלט אם n n=1 a. k=m. k=m a k n n שקטן מאפסילון. אם קח, ניקח את ה- N שאנחנו. sin 2n מתכנס משום ש- n=1 n. ( 1) n 1 1 טורים כלליים 1. 1 התכנסות בהחלט מתכנס. מתכנס בהחלט אם n a הגדרה.1 אומרים שהטור a n משפט 1. טור מתכנס בהחלט הוא מתכנס. הוכחה. נוכיח עם קריטריון קושי. יהי אפסילון גדול מ- 0, אז אנחנו יודעים ש- n N n>m>n

Διαβάστε περισσότερα

i שאלות 8,9 בתרגיל 2 ( A, F) אלגברת יצירה Α היא זוג כאשר i F = { f קבוצה של פונקציות {I קבוצה לא ריקה ו A A n i n i מקומית מ ל. A נרשה גם פונקציות 0 f i היא פונקציה n i טבעי כך ש כך שלכל i קיים B נוצר

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 2

אלגברה ליניארית 1 א' פתרון 2 אלגברה ליניארית א' פתרון 3 4 3 3 7 9 3. נשתמש בכתיבה בעזרת מטריצה בכל הסעיפים. א. פתרון: 3 3 3 3 3 3 9 אז ישנו פתרון יחיד והוא = 3.x =, x =, x 3 3 הערה: אפשר גם לפתור בדרך קצת יותר ארוכה, אבל מבלי להתעסק

Διαβάστε περισσότερα

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות

רשימת משפטים וטענות נכתב על ידי יהונתן רגב רשימת משפטים וטענות λ = 0 A. F n n ערך עצמי של A אם ורק אם A לא הפיכה..det(λ I ערך עצמי של λ F.A F n n n A) = 0 אם ורק אם: A v וקטור עצמי של Tהמתאים יהי T: V V אופרטור לינארי. אם λ F ערך עצמי של,T לערך העצמי λ, אזי λ הוא

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה.

חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. חשבון אינפיניטסימלי 1 סיכום הרצאות באוניברסיטה חיפה, חוג לסטטיסטיקה. מרצה: למברג דן תוכן העניינים 3 מספרים ממשיים 1 3.................................. סימונים 1. 1 3..................................

Διαβάστε περισσότερα

שאלה 1 V AB פתרון AB 30 R3 20 R

שאלה 1 V AB פתרון AB 30 R3 20 R תרגילים בתורת החשמל כתה יג שאלה א. חשב את המתח AB לפי משפט מילמן. חשב את הזרם בכל נגד לפי המתח שקיבלת בסעיף א. A 60 0 8 0 0.A B 8 60 0 0. AB 5. v 60 AB 0 0 ( 5.) 0.55A 60 א. פתרון 0 AB 0 ( 5.) 0 0.776A

Διαβάστε περισσότερα

אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה:

אוטומט סופי דטרמיניסטי מוגדר עי החמישייה: 2 תרגול אוטומט סופי דטרמיניסטי אוטומטים ושפות פורמליות בר אילן תשעז 2017 עקיבא קליינרמן הגדרה אוטומט סופי דטרמיניסטי מוגדר ע"י החמישייה: (,, 0,, ) כאשר: א= "ב שפת הקלט = קבוצה סופית לא ריקה של מצבים מצב

Διαβάστε περισσότερα

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור

סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 005 שנכתב על-ידי מאיר בכור סיכום חקירת משוואות מהמעלה הראשונה ומהמעלה השנייה פרק זה הינו חלק מסיכום כולל לשאלון 5 שנכתב על-ידי מאיר בכור. חקירת משוואה מהמעלה הראשונה עם נעלם אחד = הצורה הנורמלית של המשוואה, אליה יש להגיע, היא: b

Διαβάστε περισσότερα

אלגברה לינארית 1 יובל קפלן

אלגברה לינארית 1 יובל קפלן אלגברה לינארית 1 יובל קפלן מחברת סיכום הרצאות ד"ר אלי בגנו בקורס "אלגברה לינארית 1" (80134) באוניברסיטה העברית, 7 2006 תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן אין המרצה אחראי לכל טעות שנפלה בו סודר

Διαβάστε περισσότερα

קיום ויחידות פתרונות למשוואות דיפרנציאליות

קיום ויחידות פתרונות למשוואות דיפרנציאליות קיום ויחידות פתרונות למשוואות דיפרנציאליות 1 מוטיבציה למשפט הקיום והיחידות אנו יודעים לפתור משוואות דיפרנציאליות ממחלקות מסוימות, כמו משוואות פרידות או משוואות לינאריות. עם זאת, קל לכתוב משוואה דיפרנציאלית

Διαβάστε περισσότερα

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות

מינימיזציה של DFA מינימיזציה של הקנוני שאותה ראינו בסעיף הקודם. בנוסף, נוכיח את יחידות האוטומט המינימלי בכך שנראה שכל אוטומט על ידי שינוי שמות מינימיזציה של DFA L. הוא אוטמומט מינימלי עבור L של שפה רגולרית A ראינו בסוף הסעיף הקודם שהאוטומט הקנוני קיים A DFA בכך הוכחנו שלכל שפה רגולרית קיים אוטומט מינמלי המזהה אותה. זה אומר שלכל נקרא A A לאוטומט

Διαβάστε περισσότερα

מבוא לתורת השדות עוזי וישנה

מבוא לתורת השדות עוזי וישנה מבוא לתורת השדות עוזי וישנה מבוא לתורת השדות מהדורה 1.38 הקדמה. שדות הם החוגים המוצלחים ביותר: הם קומוטטיביים, וכל האברים שלהם הפיכים. המרכז של כל חוג פשוט הוא שדה, ולכן אין זה פלא ששדות תופסים מקום מרכזי

Διαβάστε περισσότερα

אינפי - 1 תרגול בינואר 2012

אינפי - 1 תרגול בינואר 2012 אינפי - תרגול 4 3 בינואר 0 רציפות במידה שווה הגדרה. נאמר שפונקציה f : D R היא רציפה במידה שווה אם לכל > 0 ε קיים. f(x) f(y) < ε אז x y < δ אם,x, y D כך שלכל δ > 0 נביט במקרה בו D הוא קטע (חסום או לא חסום,

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 2

מתמטיקה בדידה תרגול מס' 2 מתמטיקה בדידה תרגול מס' 2 נושאי התרגול: כמתים והצרנות. משתנים קשורים וחופשיים. 1 כמתים והצרנות בתרגול הקודם עסקנו בתחשיב הפסוקים, שבו הנוסחאות שלנו היו מורכבות מפסוקים יסודיים (אשר קיבלו ערך T או F) וקשרים.

Διαβάστε περισσότερα

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME

תרגילים באמצעות Q. תרגיל 2 CD,BF,AE הם גבהים במשולש .ABC הקטעים. ABC D נמצאת על המעגל בין A ל- C כך ש-. AD BF ABC FME הנדסת המישור - תרגילים הכנה לבגרות תרגילים הנדסת המישור - תרגילים הכנה לבגרות באמצעות Q תרגיל 1 מעגל העובר דרך הקודקודים ו- של המקבילית ו- חותך את האלכסונים שלה בנקודות (ראה ציור) מונחות על,,, הוכח כי

Διαβάστε περισσότερα

סיכום- בעיות מינימוםמקסימום - שאלון 806

סיכום- בעיות מינימוםמקסימום - שאלון 806 סיכום- בעיות מינימוםמקסימום - שאלון 806 בבעיותמינימום מקסימוםישלחפשאתנקודותהמינימוםהמוחלטוהמקסימוםהמוחלט. בשאלות מינימוםמקסימוםחובהלהראותבעזרתטבלה אובעזרתנגזרתשנייהשאכן מדובר עלמינימוםאומקסימום. לצורךקיצורהתהליך,

Διαβάστε περισσότερα

תורת המספרים ושימושים בקריפטוגרפיה

תורת המספרים ושימושים בקריפטוגרפיה תורת המספרים ושימושים בקריפטוגרפיה יובל קפלן ( בקורס "תורת סיכום הרצאות פרופ אלכס לובוצקי ) המספרים ושימושים בקריפטוגרפיה" (80611) באוניברסיטה העברית,.007 8 תוכן מחברת זו הוקלד ונערך עלÎידי יובל קפלן.

Διαβάστε περισσότερα

רשימת משפטים והגדרות

רשימת משפטים והגדרות רשימת משפטים והגדרות חשבון אינפיניטיסימאלי ב' מרצה : למברג דן 1 פונקציה קדומה ואינטגרל לא מסויים הגדרה 1.1. (פונקציה קדומה) יהי f :,] [b R פונקציה. פונקציה F נקראת פונקציה קדומה של f אם.[, b] גזירה ב F

Διαβάστε περισσότερα

חשבון אינפיניטסימלי 1

חשבון אינפיניטסימלי 1 חשבון אינפיניטסימלי 1 יובל קפלן סיכום הרצאות פרופ צליל סלע בקורס "חשבון אינפיניטסימלי 1" (80131) באוניברסיטה העברית, 7 2006. תוכן מחברת זו הוקלד ונערך על-ידי יובל קפלן. אין המרצה אחראי לכל טעות שנפלה בו.

Διαβάστε περισσότερα

הגדרה: מצבים k -בני-הפרדה

הגדרה: מצבים k -בני-הפרדה פרק 12: שקילות מצבים וצמצום מכונות לעי תים קרובות, תכנון המכונה מתוך סיפור המעשה מביא להגדרת מצבים יתי רים states) :(redundant הפונקציה שהם ממלאים ניתנת להשגה באמצעו ת מצבים א חרים. כיוון שמספר רכיבי הזיכרון

Διαβάστε περισσότερα

(ספר לימוד שאלון )

(ספר לימוד שאלון ) - 40700 - פתרון מבחן מס' 7 (ספר לימוד שאלון 035804) 09-05-2017 _ ' i d _ i ' d 20 _ i _ i /: ' רדיוס המעגל הגדול: רדיוס המעגל הקטן:, לכן שטח העיגול הגדול: / d, לכן שטח העיגול הקטן: ' d 20 4 D 80 Dd 4 /:

Διαβάστε περισσότερα

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון.

Charles Augustin COULOMB ( ) קולון חוק = K F E המרחק סטט-קולון. Charles Augustin COULOMB (1736-1806) קולון חוק חוקקולון, אשרנקראעלשםהפיזיקאיהצרפתישארל-אוגוסטיןדהקולוןשהיהאחדהראשוניםשחקרבאופןכמותיאתהכוחותהפועלים ביןשניגופיםטעונים. מדידותיוהתבססועלמיתקןהנקראמאזניפיתול.

Διαβάστε περισσότερα

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן

תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשעד, מיום 0/8/0610 שאלונים: 315, מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן תשובות מלאות לבחינת הבגרות במתמטיקה מועד ג' תשע"ד, מיום 0/8/0610 שאלונים: 315, 635865 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1. סדרה חשבונית שיש בה n איברים...2 3. האיבר

Διαβάστε περισσότερα

מודלים חישוביים תרגולמס 5

מודלים חישוביים תרגולמס 5 מודלים חישוביים תרגולמס 5 30 במרץ 2016 נושאי התרגול: דקדוקים חסרי הקשר. למת הניפוח לשפות חסרות הקשר. פעולות סגור לשפות חסרות הקשר. 1 דקדוקים חסרי הקשר נזכיר כי דקדוק חסר הקשר הוא רביעיה =(V,Σ,R,S) G, כך

Διαβάστε περισσότερα

מתמטיקה בדידה תרגול מס' 13

מתמטיקה בדידה תרגול מס' 13 מתמטיקה בדידה תרגול מס' 13 נושאי התרגול: תורת הגרפים. 1 מושגים בסיסיים נדון בגרפים מכוונים. הגדרה 1.1 גרף מכוון הוא זוג סדור E G =,V כך ש V ו E. V הגרף נקרא פשוט אם E יחס אי רפלקסיבי. כלומר, גם ללא לולאות.

Διαβάστε περισσότερα

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012

תורת הקבוצות בפברואר 2012 תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 תורת הקבוצות 80200 אור דגמי, ÓÖ Ñ ºÓÖ 11 בפברואר 2012 אתר אינטרנט: ØØÔ»» Ñ ºÓÖ תקציר סיכום הרצאות של פרופסור רון לבנה בשנת לימודים 2012 1 תוכן עניינים תוכן עניינים תוכן עניינים מבוא.............................................

Διαβάστε περισσότερα

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות

סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות סיכום בנושא של דיפרנציאביליות ונגזרות כיווניות 25 בדצמבר 2016 תזכורת: תהי ) n f ( 1, 2,..., פונקציה המוגדרת בסביבה של f. 0 גזירה חלקית לפי משתנה ) ( = 0, אם קיים הגבול : 1 0, 2 0,..., בנקודה n 0 i f(,..,n,).lim

Διαβάστε περισσότερα

אלגברה לינארית מטריצות מטריצות הפיכות

אלגברה לינארית מטריצות מטריצות הפיכות מטריצות + [( αij+ β ij ] m λ [ λα ij ] m λ [ αijλ ] m + + ( + +C + ( + C i C m q m q ( + C C + C C( + C + C λ( ( λ λ( ( λ (C (C ( ( λ ( + + ( λi ( ( ( k k i חיבור מכפלה בסקלר מכפלה בסקלר קומוטטיב אסוציאטיב

Διαβάστε περισσότερα

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה!

לוגיקה ותורת הקבוצות אביבתשס ז מבחןסופי מועדב בהצלחה! הטכניון מכון טכנולוגי לישראל הפקולטה למדעי המחשב 24/10/2007 מרצה: פרופ אורנה גרימברג מתרגלים: גבי סקלוסוב,קרן צנזור,רותם אושמן,אורלי יהלום לוגיקה ותורת הקבוצות 234293 אביבתשס ז מבחןסופי מועדב הנחיות: משךהבחינה:

Διαβάστε περισσότερα

סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך.

סיכום לינארית 1 28 בינואר 2010 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך. סיכום לינארית 28 בינואר 2 מרצה: יבגני סטרחוב מתרגלת: גילי שול אין המרצה או המתרגלת קשורים לסיכום זה בשום דרך הערות יתקבלו בברכה nogarotman@gmailcom תוכן עניינים 3 מבוא והגדרות בסיסיות 6 שדות 7 המציין של

Διαβάστε περισσότερα

מבנים אלגבריים II 27 במרץ 2012

מבנים אלגבריים II 27 במרץ 2012 מבנים אלגבריים 80446 II אור דגמי, or@digmi.org 27 במרץ 2012 אתר אינטרנט: http://digmi.org סיכום הרצאות של פרופ אלכס לובוצקי בשנת לימודים 2012 1 תוכן עניינים 1 שדות 3 1.1 תזכורת מהעבר....................................................

Διαβάστε περισσότερα

סרוקל רזע תרבוח 1 ילמיסיטיפניא ןובשח

סרוקל רזע תרבוח 1 ילמיסיטיפניא ןובשח חוברת עזר לקורס חשבון אינפיטיסימלי 495 יולי 4 חוברת עזר לקורס חשבון אינפיטיסימלי 495 עמוד חוברת עזר לקורס חשבון אינפיטיסימלי 495 יולי 4 תוכן העניינים נושא עמוד נושא כללי 3 רציפות זהויות טריגונומטריות 4

Διαβάστε περισσότερα

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p;

(2) מיונים השאלות. .0 left right n 1. void Sort(int A[], int left, int right) { int p; מבני נתונים פתרונות לסט שאלות דומה לשאלות בנושאים () זמני ריצה של פונקציות רקורסיביות () מיונים השאלות פתרו את נוסחאות הנסיגה בסעיפים א-ג על ידי הצבה חוזרת T() כאשר = T() = T( ) + log T() = T() כאשר =

Διαβάστε περισσότερα

"קשר-חם" : לקידום שיפור וריענון החינוך המתמטי

קשר-חם : לקידום שיפור וריענון החינוך המתמטי הטכניון - מכון טכנולוגי לישראל המחלקה להוראת הטכנולוגיה והמדעים "קשר-חם" : לקידום שיפור וריענון החינוך המתמטי נושא: חקירת משוואות פרמטריות בעזרת גרפים הוכן ע"י: אביבה ברש. תקציר: בחומר מוצגת דרך לחקירת

Διαβάστε περισσότερα

אלגברה לינארית 2 משפטים וטענות

אלגברה לינארית 2 משפטים וטענות אלגברה לינארית 2 משפטים וטענות סוכם ע"פ הרצאות פרופ' מ.קריבלביץ' 1.2 אידאלים של פולינומים הגדרה 1.13 יהי F שדה. קבוצת פולינומים [x] I F נקראת אידיאל ב [ x ] F אם מתקיים:.0 I.1.2 לכל f 1, f 2 I מתקיים.f

Διαβάστε περισσότερα

אלגברה ליניארית 1 א' פתרון 11

אלגברה ליניארית 1 א' פתרון 11 אלגברה ליניארית 1 א' פתרון 11.1 K α : F איזומורפיזם של שדות. א. טענה 1 :.α(0 F ) = 0 K עלינו להוכיח כי לכל,b K מתקיים.b + α(0 F ) = α(0 F ) + b = b עבור b K (כיוון ש α חח"ע ועל), קיים ויחיד x F כך ש.α(x)

Διαβάστε περισσότερα

טריגונומטריה הגדרות הפונקציות הטריגונומטריות הבסיסיות

טריגונומטריה הגדרות הפונקציות הטריגונומטריות הבסיסיות טריגונומטריה הגדרות הפונקציות הטריגונומטריות הבסיסיות את הפונקציות הטריגונומטריות ניתן להגדיר באמצעות הקשרים בין הניצבים לבין היתר ובין הניצבים עצמם במשולש ישר זווית בלבד: לדוגמה: סינוס זווית BAC (אלפא)

Διαβάστε περισσότερα

תורת הקבוצות ניר אדר ניר אדר.

תורת הקבוצות ניר אדר ניר אדר. גירסה 101 2432010 גירסה 100 6122003 תורת הקבוצות מסמך זה הורד מהאתר http://wwwunderwarcoil אין להפיץ מסמך זה במדיה כלשהי, ללא אישור מפורש מאת המחבר מחבר המסמך איננו אחראי לכל נזק, ישיר או עקיף, שיגרם עקב

Διαβάστε περισσότερα

מתרגלת: שירה גילת סמסטר א 2017 תשע"ז

מתרגלת: שירה גילת סמסטר א 2017 תשעז חוברת תרגולים בקורס "תורת גלואה" 88 311 21 בפברואר 2017 מתרגלת: שירה גילת סמסטר א 2017 תשע"ז ערך: איתי רוזנבאום 1 תורת גלואה תרגול ראשון חזרה מחוגים F שדה F. חוג הפולינומים עם מקדמים ב F [λ] זהו חוג אוקלידי,

Διαβάστε περισσότερα

תוכן הפרק: ,best case, average case דוגמאות 1. זמן - נמדד באמצעות מס' פעולות סיבוכיות, דוגמאות, שיפור בפקטור קבוע האלגוריתם. וגודלם. איטרטיביים. לקלט.

תוכן הפרק: ,best case, average case דוגמאות 1. זמן - נמדד באמצעות מס' פעולות סיבוכיות, דוגמאות, שיפור בפקטור קבוע האלגוריתם. וגודלם. איטרטיביים. לקלט. פרק סיבוכיות פרק סיבוכיות המושג יעילות מהו? במדעי המחשב היעילות נמדדת בעזרת מדדי סיבוכיות, החשובים שבהם: של אלגוריתמים יעילותם תוכן הפרק: יעילות מהי (זיכרון וזמן, זמן ריצה T( של אלגוריתם מהו, מהם case,

Διαβάστε περισσότερα

סימני התחלקות ב 3, ב 6 וב 9

סימני התחלקות ב 3, ב 6 וב 9 סימני התחלקות ב 3, ב 6 וב 9 תוכן העניינים מבוא לפרק "סימני התחלקות" ב 3, ב 6 וב 9............ 38 א. סימני ההתחלקות ב 2, ב 5 וב 10 (חזרה)............ 44 ב. סימן ההתחלקות ב 3..............................

Διαβάστε περισσότερα

פולינומים אורתוגונליים

פולינומים אורתוגונליים פולינומים אורתוגונליים מרצה: פרופ' זינובי גרינשפון סיכום: אלון צ'רני הקורס ניתן בסמסטר אביב 03, בר אילן פולינומים אורתוגונאליים תוכן עניינים תאריך 3.3.3 הרצאה מרחב מכפלה פנימית (הגדרה, תכונות, דוגמאות)

Διαβάστε περισσότερα

s ק"מ קמ"ש מ - A A מ - מ - 5 p vp v=

s קמ קמש מ - A A מ - מ - 5 p vp v= את זמני הליכת הולכי הרגל עד הפגישות שלהם עם רוכב האופניים (שעות). בגרות ע מאי 0 מועד קיץ מבוטל שאלון 5006 מהירות - v קמ"ש t, א. () נסמן ב- p נכניס את הנתונים לטבלה מתאימה: רוכב אופניים עד הפגישה זמן -

Διαβάστε περισσότερα

תורת הגרפים - סימונים

תורת הגרפים - סימונים תורת הגרפים - סימונים.n = V,m = E בהינתן גרף,G = V,E נסמן: בתוך סימוני ה O,o,Ω,ω,Θ נרשה לעצמנו אף להיפטר מהערך המוחלט.. E V,O V + E כלומר, O V + E נכתוב במקום אם כי בכל מקרה אחר נכתוב או קשת של גרף לא

Διαβάστε περισσότερα

תשובות מלאות לבחינת הבגרות במתמטיקה מועד חורף תשע"א, מיום 31/1/2011 שאלון: מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן.

תשובות מלאות לבחינת הבגרות במתמטיקה מועד חורף תשעא, מיום 31/1/2011 שאלון: מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן. בB בB תשובות מלאות לבחינת הבגרות במתמטיקה מועד חורף תשע"א, מיום 31/1/2011 שאלון: 035804 מוצע על ידי בית הספר לבגרות ולפסיכומטרי של אבירם פלדמן שאלה מספר 1 נתון: 1 מכונית נסעה מעיר A לעיר B על כביש ראשי

Διαβάστε περισσότερα